{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:08Z","timestamp":1772164028859,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,9,25]],"date-time":"2013-09-25T00:00:00Z","timestamp":1380067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,9,25]]},"DOI":"10.1145\/2500365.2500618","type":"proceedings-article","created":{"date-parts":[[2013,9,25]],"date-time":"2013-09-25T09:13:17Z","timestamp":1380100397000},"page":"343-350","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["A nanopass framework for commercial compiler development"],"prefix":"10.1145","author":[{"given":"Andrew W.","family":"Keep","sequence":"first","affiliation":[{"name":"University of Utah, Salt Lake City, UT, USA"}]},{"given":"R. Kent","family":"Dybvig","sequence":"additional","affiliation":[{"name":"Cisco Systems Inc., Research Triangle Park, NC, USA"}]}],"member":"320","published-online":{"date-parts":[[2013,9,25]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"65","volume-title":"Proc. 3rd International Workshop on Source Code Analysis and Manipulation, SCAM '03","author":"Bagge O. S.","year":"2003","unstructured":"O. S. Bagge , K. T. Kalleberg , M. Haveraaen , and E. Visser . Design of the CodeBoost transformation system for domain-specific optimisation of C++programs. In D. Binkley and P. Tonella, editors , Proc. 3rd International Workshop on Source Code Analysis and Manipulation, SCAM '03 , pages 65 -- 75 , Amsterdam , Sept. 2003 . IEEE Computer Society Press. URL http:\/\/www.codeboost.org\/papers\/codeboost-scam03.pdf. O. S. Bagge, K. T. Kalleberg, M. Haveraaen, and E. Visser. Design of the CodeBoost transformation system for domain-specific optimisation of C++programs. In D. Binkley and P. Tonella, editors, Proc. 3rd International Workshop on Source Code Analysis and Manipulation, SCAM '03, pages 65--75, Amsterdam, Sept. 2003. IEEE Computer Society Press. URL http:\/\/www.codeboost.org\/papers\/codeboost-scam03.pdf."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.11.003"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207125"},{"key":"e_1_3_2_1_4_1","volume-title":"Description of benchmarks","author":"Clinger W. D.","year":"2008","unstructured":"W. D. Clinger . Description of benchmarks , 2008 . URL http:\/\/www.larcenists.org\/benchmarksAboutR6.html. W. D. Clinger. Description of benchmarks, 2008. URL http:\/\/www.larcenists.org\/benchmarksAboutR6.html."},{"key":"e_1_3_2_1_5_1","volume-title":"Cadence Research Systems","author":"Dybvig R. K.","year":"2009","unstructured":"R. K. Dybvig . Chez Scheme Version 8 User's Guide . Cadence Research Systems , 2009 . R. K. Dybvig. Chez Scheme Version 8 User's Guide. Cadence Research Systems, 2009."},{"key":"e_1_3_2_1_6_1","volume-title":"The Scheme Programming Language","author":"Dybvig R. K.","year":"2009","unstructured":"R. K. Dybvig . The Scheme Programming Language . MIT Press , fourth edition, 2009 . R. K. Dybvig. The Scheme Programming Language. MIT Press, fourth edition, 2009."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01806308"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.02.003"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364394.2364396"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/832254.832822"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291197"},{"key":"e_1_3_2_1_13_1","first-page":"57","volume-title":"Proc. 2009 Workshop on Scheme and Functional Programming, Scheme '09","author":"Ghuloum A.","year":"2009","unstructured":"A. Ghuloum and R. K. Dybvig . Fixing letrec (reloaded) . In Proc. 2009 Workshop on Scheme and Functional Programming, Scheme '09 , pages 57 -- 65 , 2009 . A. Ghuloum and R. K. Dybvig. Fixing letrec (reloaded). In Proc. 2009 Workshop on Scheme and Functional Programming, Scheme '09, pages 57--65, 2009."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2661103.2661106"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040335"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/645420.652535"},{"key":"e_1_3_2_1_18_1","series-title":"Lecture Notes in Computer ScienceLecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"524","DOI":"10.1007\/978-3-540-24644-2_34","volume-title":"Semantic-driven parallelization of loops operating on user-defined containers","author":"Quinlan D.","year":"2004","unstructured":"D. Quinlan , M. Schordan , Q. Yi , and B. R. de Supinski . Semantic-driven parallelization of loops operating on user-defined containers . In Lecture Notes in Computer Science , volume 2958\/2004 of Lecture Notes in Computer Science , pages 524 -- 538 . Springer Berlin \/ Heidelberg , 2004 . D. Quinlan, M. Schordan, Q. Yi, and B. R. de Supinski. Semantic-driven parallelization of loops operating on user-defined containers. In Lecture Notes in Computer Science, volume 2958\/2004 of Lecture Notes in Computer Science, pages 524--538. Springer Berlin \/ Heidelberg, 2004."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380221008"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1016850.1016878"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250750"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/647166.717859"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292559"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-005-4878-3"},{"key":"e_1_3_2_1_25_1","volume-title":"Indiana University","author":"Willcock J. J.","year":"2008","unstructured":"J. J. Willcock . A Language for Specifying Compiler Optimizations for Generic Software. Doctoral dissertation , Indiana University , Bloomington, Indiana, USA , Dec. 2008 . J. J. Willcock. A Language for Specifying Compiler Optimizations for Generic Software. Doctoral dissertation, Indiana University, Bloomington, Indiana, USA, Dec. 2008."}],"event":{"name":"ICFP'13: ACM SIGPLAN International Conference on Functional Programming","location":"Boston Massachusetts USA","acronym":"ICFP'13","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","Northeastern University"]},"container-title":["Proceedings of the 18th ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2500365.2500618","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2500365.2500618","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:34:33Z","timestamp":1750217673000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2500365.2500618"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,25]]},"references-count":23,"alternative-id":["10.1145\/2500365.2500618","10.1145\/2500365"],"URL":"https:\/\/doi.org\/10.1145\/2500365.2500618","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2544174.2500618","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2013,9,25]]},"assertion":[{"value":"2013-09-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}