{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,4,27]],"date-time":"2023-04-27T23:40:23Z","timestamp":1682638823931},"reference-count":11,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[2001,11,1]],"date-time":"2001-11-01T00:00:00Z","timestamp":1004572800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":4288,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2001,11]]},"DOI":"10.1016\/s1571-0661(04)00297-x","type":"journal-article","created":{"date-parts":[[2004,2,5]],"date-time":"2004-02-05T10:34:35Z","timestamp":1075977275000},"page":"358-374","source":"Crossref","is-referenced-by-count":3,"title":["Syntactic Theories in Practice"],"prefix":"10.1016","volume":"59","author":[{"given":"Olivier","family":"Danvy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lasse R.","family":"Nielsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"4","key":"10.1016\/S1571-0661(04)00297-X_NEWBIB1","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1017\/S0960129500001535","article-title":"Representing control, a study of the CPS transformation","volume":"2","author":"Danvy","year":"1992","journal-title":"Mathematical Structures in Computer Science"},{"key":"10.1016\/S1571-0661(04)00297-X_NEWBIB2","doi-asserted-by":"crossref","unstructured":"Olivier Danvy and Lasse R. Nielsen. CPS transformation of beta-redexes. In Amr Sabry, editor, Proceedings of the Third ACM SIGPLAN Workshop on Continuations, Technical report 545, Computer Science Department, Indiana University, pages 35\u201339, London, England, January 2001. Also available as the technical report BRICS RS-00-35.","DOI":"10.7146\/brics.v7i35.20170"},{"key":"10.1016\/S1571-0661(04)00297-X_NEWBIB3","doi-asserted-by":"crossref","unstructured":"Olivier Danvy and Lasse R. Nielsen. Defunctionalization at work. In Harald S\u00f8ndergaard, editor, Proceedings of the Third International Conference on Principles and Practice of Declarative Programming, pages 162\u2013174, Firenze, Italy, September 2001. ACM Press. Extended version available as the technical report BRICS RS-01-23.","DOI":"10.1145\/773184.773202"},{"key":"10.1016\/S1571-0661(04)00297-X_NEWBIB4","doi-asserted-by":"crossref","unstructured":"Olivier Danvy and Lasse R. Nielsen. Syntactic theories in practice. Technical Report BRICS RS-01-31, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, July 2001. Extended version of an article to appear in the informal proceedings of the Second International Workshop on Rule-Based Programming (RULE 2001), Firenze, Italy, September 4, 2001.","DOI":"10.7146\/brics.v8i31.21691"},{"key":"10.1016\/S1571-0661(04)00297-X_NEWBIB5","unstructured":"Matthias Felleisen. The Calculi of \u03bb-v-CS Conversion: A Syntactic Theory of Control and State in Imperative Higher-Order Programming Languages. PhD thesis, Department of Computer Science, Indiana University, Bloomington, Indiana, August 1987."},{"key":"10.1016\/S1571-0661(04)00297-X_NEWBIB6","series-title":"Introduction to Automata Theory, Languages, and Computation","author":"John Hopcroft","year":"1979"},{"key":"10.1016\/S1571-0661(04)00297-X_NEWBIB7","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0304-3975(75)90017-1","article-title":"Call-by-name, call-by-value and the \u03bb-calculus","volume":"1","author":"Gordon Plotkin","year":"1975","journal-title":"Theoretical Computer Science"},{"issue":"3\/4","key":"10.1016\/S1571-0661(04)00297-X_NEWBIB8","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/BF01019462","article-title":"Reasoning about programs in continuation-passing style","volume":"6","author":"Sabry","year":"1993","journal-title":"Lisp and Symbolic Computation"},{"key":"10.1016\/S1571-0661(04)00297-X_NEWBIB9","doi-asserted-by":"crossref","unstructured":"Mitchell Wand. Correctness of procedure representations in higher-order assembly language. In Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, and David Schmidt, editors, Proceedings of the 7th International Conference on Mathematical Foundations of Programming Semantics, number 598 in Lecture Notes in Computer Science, pages 294\u2013311, Pittsburgh, Pennsylvania, March 1991. Springer-Verlag.","DOI":"10.1007\/3-540-55511-0_15"},{"key":"10.1016\/S1571-0661(04)00297-X_NEWBIB10","unstructured":"Yong Xiao, Zena M. Ariola, and Michel Mauny. From syntactic theories to interpreters: A specification language and its compilation. In Nachum Dershowitz and Claude Kirchner, editors, Informal proceedings of the First International Workshop on Rule-Based Programming (RULE 2000), Montr\u00e9al, Canada, September 2000. Available online at http:\/\/www.loria.fr\/~ckirchne\/=rule2000\/proceedings\/."},{"issue":"4","key":"10.1016\/S1571-0661(04)00297-X_NEWBIB11","doi-asserted-by":"crossref","DOI":"10.1023\/A:1014408032446","article-title":"From syntactic theories to interpreters: Automating proofs of decomposition lemma","volume":"14","author":"Xiao","year":"2001","journal-title":"Higher-Order and Symbolic Computation"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S157106610400297X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S157106610400297X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,4,27]],"date-time":"2023-04-27T23:03:41Z","timestamp":1682636621000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S157106610400297X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,11]]},"references-count":11,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2001,11]]}},"alternative-id":["S157106610400297X"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00297-x","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2001,11]]}}}