{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T19:12:32Z","timestamp":1743016352955,"version":"3.40.3"},"publisher-location":"New York, NY","reference-count":17,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9781461448938"},{"type":"electronic","value":"9781461448945"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-1-4614-4894-5_4","type":"book-chapter","created":{"date-parts":[[2013,5,16]],"date-time":"2013-05-16T14:01:10Z","timestamp":1368712870000},"page":"71-103","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Aspect-Based Source to Source Transformations"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Gabriel","family":"de F. Coutinho","sequence":"first","affiliation":[]},{"given":"Jo\u00e3o M. P.","family":"Cardoso","sequence":"additional","affiliation":[]},{"given":"Tiago","family":"Carvalho","sequence":"additional","affiliation":[]},{"given":"Sujit","family":"Bhattacharya","sequence":"additional","affiliation":[]},{"given":"Wayne","family":"Luk","sequence":"additional","affiliation":[]},{"given":"George","family":"Constantinides","sequence":"additional","affiliation":[]},{"given":"Pedro C.","family":"Diniz","sequence":"additional","affiliation":[]},{"given":"Zlatko","family":"Petrov","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,5,17]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"J.M.P. Cardoso, J.G.F. Coutinho, T. Carvalho, LARA Programming Language Specification, v2.0, REFLECT Internal Technical Report, 2012","DOI":"10.1145\/2162049.2162071"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"J.M.P. Cardoso, T. Carvalho, J.G.F. Coutinho, W. Luk, R. Nobre, P.C. Diniz, Z. Petrov, LARA: An Aspect-Oriented Programming Language for Embedded Systems. in Proceedings of the International Conference on Aspect-Oriented Software Development (AOSD\u201912) (Germany, 2012), pp. 179\u2013190, 25\u201330 Mar 2012","DOI":"10.1145\/2162049.2162071"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"J.A. Clarke, G.A. Constantinides, P.Y.K. Cheung, Word-length selection for power minimization via nonlinear optimization. ACM Transactions on Design Automation of Electronic Systems (TODAES), p. 39, 14 Mar 2009","DOI":"10.1145\/1529255.1529261"},{"key":"4_CR4","unstructured":"J.G.F. Coutinho, T. Carvalho, S. Durand, J.M.P. Cardoso, The LARA Aspect-IR, REFLECT Internal Technical Report, 2012"},{"key":"4_CR5","unstructured":"Xilinx ML510 Evaluation Platform Documentation, http:\/\/www.xilinx.com\/products\/boards\/ml510\/docs.htm [Online]. Accessed 18 Nov 2012"},{"issue":"5","key":"4_CR6","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1109\/MM.2010.91","volume":"30","author":"K Bertels","year":"2010","unstructured":"K. Bertels, V. Sima, Y. Yankova, G. Kuzmanov, W. Luk, J. Coutinho, F. Ferrandi, C. Pilato, M. Lattuada, D. Sciuto, A. Michelotti, HArtes: Hardware-software codesign for heterogeneous multicore platforms. IEEE Micro 30(5), 88\u201397 (2010)","journal-title":"IEEE Micro"},{"key":"4_CR7","unstructured":"D.J. Quinlan, ROSE Source-to-Source Compiler Infrastructure, Lawrence Livermore National Laboratory (LLNL), www.rosecompiler.org [online]"},{"key":"4_CR8","unstructured":"Google v8 JavaScript API, https:\/\/developers.google.com\/v8 [Online]. Accessed 19 Dec 2012"},{"key":"4_CR9","unstructured":"JavaScript\u2014MDN, https:\/\/developer.mozilla.org\/en\/JavaScript"},{"key":"4_CR10","unstructured":"J.G.F. Coutinho, QROSE Manual, Lawrence Livermore National Laboratory (LLNL), http:\/\/rosecompiler.org\/QROSE.pdf [online]"},{"key":"4_CR11","unstructured":"Meld tool, http:\/\/http:\/\/meldmerge.org\/ [Online]. Accessed 10 Dec 2012"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"W. Luk, J. Coutinho, T. Todman, Y. Lam, W. Osborne, K. Susanto, Q. Liu, W. Wong, A High-Level Compilation Toolchain for Heterogeneous Systems. in Proceedings of IEEE International SOC Conference (SOCC\u201909), 2009, pp. 9\u201318","DOI":"10.1109\/SOCCON.2009.5398108"},{"key":"4_CR13","unstructured":"Virtex FPGA, http:\/\/www.xilinx.com\/support\/documentation\/data_sheets\/ds100.pdf[Online]. Accessed 25 Nov 2012"},{"key":"4_CR14","unstructured":"CORE Generator Overview, http:\/\/www.xilinx.com\/itp\/xilinx10\/isehelp\/cgn_c_overview.htm [Online]. Accessed 18 Nov 2012"},{"issue":"1","key":"4_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1644001.1644003","volume":"37","author":"M Daumas","year":"2010","unstructured":"M. Daumas, G. Melquiond, Certification of bounds on expressions involving rounded operators. ACM Trans. Math. Softw. 37(1), 1\u201320 (2010)","journal-title":"ACM Trans. Math. Softw."},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"M.D. Linderman, M. Ho, D.L. Dill, T.H. Meng, G.P. Nolan, Towards program optimization through automated analysis of numerical precision. in Proceedings 8th Annual IEEE\/ACM International Symposium on Code Generation and Optimization (CGO\u201910), 2010, p. 230","DOI":"10.1145\/1772954.1772987"},{"key":"4_CR17","unstructured":"Calypto Design Systems Inc., Catapult-C\u00ae High-Level Synthesis\u2014Blue Book, 2011"}],"container-title":["Compilation and Synthesis for Embedded Reconfigurable Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4614-4894-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T15:24:13Z","timestamp":1675783453000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4614-4894-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9781461448938","9781461448945"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-1-4614-4894-5_4","relation":{},"subject":[],"published":{"date-parts":[[2013]]},"assertion":[{"value":"17 May 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}