{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:15:35Z","timestamp":1763468135363,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,9,16]],"date-time":"2013-09-16T00:00:00Z","timestamp":1379289600000},"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,16]]},"DOI":"10.1145\/2505879.2505894","type":"proceedings-article","created":{"date-parts":[[2013,9,17]],"date-time":"2013-09-17T19:57:05Z","timestamp":1379447825000},"page":"121-132","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Engineering definitional interpreters"],"prefix":"10.1145","author":[{"given":"Jan","family":"Midtgaard","sequence":"first","affiliation":[{"name":"Aarhus University"}]},{"given":"Norman","family":"Ramsey","sequence":"additional","affiliation":[{"name":"Tufts University"}]},{"given":"Bradford","family":"Larsen","sequence":"additional","affiliation":[{"name":"Veracode"}]}],"member":"320","published-online":{"date-parts":[[2013,9,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/888251.888254"},{"key":"e_1_3_2_1_2_1","unstructured":"Doug Bagley. 2002. The great computer language shootout. Originally at http:\/\/www.bagley.org\/~doug\/shootout\/ some of this material is archived at http:\/\/web.archive.org\/.  Doug Bagley. 2002. The great computer language shootout. Originally at http:\/\/www.bagley.org\/~doug\/shootout\/ some of this material is archived at http:\/\/web.archive.org\/."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/362248.362270"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796809007205"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237784"},{"volume-title":"Department of Computer Science","author":"Danvy Olivier","key":"e_1_3_2_1_6_1","unstructured":"Olivier Danvy . 2006 (October). An Analytical Approach to Programs as Data Objects. DSc thesis , Department of Computer Science , University of Aarhus , Aarhus, Denmark . Olivier Danvy. 2006 (October). An Analytical Approach to Programs as Data Objects. DSc thesis, Department of Computer Science, University of Aarhus, Aarhus, Denmark."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/646451.692934"},{"key":"e_1_3_2_1_8_1","first-page":"1","article-title":"The structure and performance of efficient interpreters","volume":"5","author":"Anton Ertl M.","year":"2003","unstructured":"M. Anton Ertl and David Gregg . 2003 . The structure and performance of efficient interpreters . Journal of Instruction-Level Parallelism , 5 : 1 -- 25 . M. Anton Ertl and David Gregg. 2003. The structure and performance of efficient interpreters. Journal of Instruction-Level Parallelism, 5:1--25.","journal-title":"Journal of Instruction-Level Parallelism"},{"key":"e_1_3_2_1_10_1","volume-title":"Robert Bruce Findler, and Matthew Flatt","author":"Felleisen Matthias","year":"2009","unstructured":"Matthias Felleisen , Robert Bruce Findler, and Matthew Flatt . 2009 . Semantics engineering with PLT Redex. MIT Press . Matthias Felleisen, Robert Bruce Findler, and Matthew Flatt. 2009. Semantics engineering with PLT Redex. MIT Press."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90014-7"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199606)26:6%3C635::AID-SPE26%3E3.0.CO;2-P"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1238844.1238846"},{"key":"e_1_3_2_1_14_1","first-page":"124","volume-title":"First International Conference, LNCS","volume":"202","author":"Jones Neil D.","year":"1985","unstructured":"Neil D. Jones , Peter Sestoft , and Harald S\u00f8ndergaard . 1985 . An experiment in partial evaluation: The generation of a compiler generator. In Rewriting Techniques and Applications , First International Conference, LNCS volume 202 , pages 124 -- 140 . Springer. Neil D. Jones, Peter Sestoft, and Harald S\u00f8ndergaard. 1985. An experiment in partial evaluation: The generation of a compiler generator. In Rewriting Techniques and Applications, First International Conference, LNCS volume 202, pages 124--140. Springer."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/646503.696269"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/6.4.308"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/367177.367199"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/583852.581499"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/800194.805852"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010075320153"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.562"},{"key":"e_1_3_2_1_24_1","volume-title":"Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory","author":"Stoy Joseph E.","year":"1977","unstructured":"Joseph E. Stoy . 1977 . Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory . MIT Press . Joseph E. Stoy. 1977. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press."},{"key":"e_1_3_2_1_25_1","unstructured":"Source code and other supplementary material is available from http:\/\/www.cs.tufts.edu\/~nr\/interps.html.  Source code and other supplementary material is available from http:\/\/www.cs.tufts.edu\/~nr\/interps.html."}],"event":{"name":"PPDP '13: 15th International Symposium on Principles and Practice of Declarative Programming","sponsor":["Universidad Complutense de Madrid","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Madrid Spain","acronym":"PPDP '13"},"container-title":["Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2505879.2505894","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2505879.2505894","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:34:17Z","timestamp":1750232057000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2505879.2505894"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,16]]},"references-count":22,"alternative-id":["10.1145\/2505879.2505894","10.1145\/2505879"],"URL":"https:\/\/doi.org\/10.1145\/2505879.2505894","relation":{},"subject":[],"published":{"date-parts":[[2013,9,16]]},"assertion":[{"value":"2013-09-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}