{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:05Z","timestamp":1725664985466},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617563"},{"type":"electronic","value":"9783540706540"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61756-6_85","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:20:41Z","timestamp":1330294841000},"page":"182-197","source":"Crossref","is-referenced-by-count":12,"title":["Semantics-based compiling: A case study in type-directed partial evaluation"],"prefix":"10.1007","author":[{"given":"Olivier","family":"Danvy","sequence":"first","affiliation":[]},{"given":"Ren\u00e9","family":"Vestergaard","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"13_CR1","unstructured":"Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, 1986."},{"volume-title":"SIGPLAN Notices, Vol. 17","year":"1982","key":"13_CR2","unstructured":"France E. Allen, editor. Proceedings of the 1982 Symposium on Compiler Construction, SIGPLAN Notices, Vol. 17, No 6, Boston, Massachusetts, June 1982. ACM Press."},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Thorsten Altenkirch, Martin Hofmann, and Thomas Streicher. Categorical reconstruction of a reduction-free normalization proof. In David H. Pitt and David E. Rydeheard, editors, Category Theory and Computer Science, number 953 in Lecture Notes in Computer Science, pages 182\u2013199, 1995.","DOI":"10.1007\/3-540-60164-3_27"},{"key":"13_CR4","first-page":"203","volume-title":"An inverse of the evaluation functional for typed \u03bb-calculus","author":"U. Berger","year":"1991","unstructured":"Ulrich Berger and Helmut Schwichtenberg. An inverse of the evaluation functional for typed \u03bb-calculus. In Proceedings of the Sixth Annual IEEE Symposium on Logic in Computer Science, pages 203\u2013211, Amsterdam, The Netherlands, July 1991. IEEE Computer Society Press."},{"key":"13_CR5","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/0167-6423(91)90002-F","volume":"16","author":"A. Bondorf","year":"1991","unstructured":"Anders Bondorf and Olivier Danvy. Automatic autoprojection of recursive equations with global variables and abstract data types. Science of Computer Programming, 16:151\u2013195, 1991.","journal-title":"Science of Computer Programming"},{"key":"13_CR6","first-page":"14","volume-title":"Static and dynamic semantics processing","author":"C. Consel","year":"1991","unstructured":"Charles Consel and Olivier Danvy. Static and dynamic semantics processing. In Robert (Corky) Cartwright, editor, Proceedings of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, pages 14\u201324, Orlando, Florida, January 1991. ACM Press."},{"key":"13_CR7","first-page":"493","volume-title":"Tutorial notes on partial evaluation","author":"C. Consel","year":"1993","unstructured":"Charles Consel and Olivier Danvy. Tutorial notes on partial evaluation. In Susan L. Graham, editor, Proceedings of the Twentieth Annual ACM Symposium on Principles of Programming Languages, pages 493\u2013501, Charleston, South Carolina, January 1993. ACM Press."},{"key":"13_CR8","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1007\/3-540-61580-6","volume-title":"Type-directed partial evaluation","author":"O. Danvy","year":"1996","unstructured":"Olivier Danvy. Type-directed partial evaluation. In Guy L. Steele Jr., editor, Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Programming Languages, pages 242\u2013257, St. Petersburg Beach, Florida, January 1996. ACM Press."},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Olivier Danvy. Pragmatics of type-directed partial evaluation. In Olivier Danvy, Robert Gl\u00fcck, and Peter Thiemann, editors, Partial Evaluation, number 1110 in Lecture Notes in Computer Science, Dagstuhl, Germany, February 1996. To appear.","DOI":"10.1007\/3-540-61580-6_5"},{"key":"13_CR10","volume-title":"Technical report BRICS-RS-96-13","author":"O. Danvy","year":"1996","unstructured":"Olivier Danvy and Ren\u00e9 Vestergaard. Semantics-based compiling: A case study in type-directed partial evaluation. Technical report BRICS-RS-96-13, Computer Science Department, Aarhus University, Aarhus, Denmark, May 1996."},{"key":"13_CR11","first-page":"237","volume-title":"SIGPLAN Notices, Vol. 28","author":"C. Flanagan","year":"1993","unstructured":"Cormac Flanagan, Amr Sabry, Bruce F. Duba, and Matthias Felleisen. The essence of compiling with continuations. In David W. Wall, editor, Proceedings of the ACM SIGPLAN'93 Conference on Prg. Lng. Design and Implementation, SIGPLAN Notices, Vol. 28, No 6, pages 237\u2013247, Albuquerque, New Mexico, June 1993. ACM Press."},{"key":"13_CR12","unstructured":"Daniel P. Friedman, Mitchell Wand, and Christopher T. Haynes. Essentials of Programming Languages. The MIT Press and McGraw-Hill, 1991."},{"key":"13_CR13","first-page":"172","volume-title":"SIGPLAN Notices, Vol. 17","author":"H. Ganzinger","year":"1982","unstructured":"Harald Ganzinger, Robert Giegerich, Ulrich M\u00f6nke, and Reinhard Wilhem. A truly generative semantics-directed compiler generator. In Allen [2], pages 172\u2013184."},{"volume-title":"SIGPLAN Notices, Vol. 19","year":"1984","key":"13_CR14","unstructured":"Susan L. Graham, editor. Proceedings of the 1984 Symposium on Compiler Construction, SIGPLAN Notices, Vol. 19, No 6, Montr\u00e9al, Canada, June 1984. ACM Press."},{"key":"13_CR15","first-page":"458","volume-title":"A generic account of continuation-passing styles","author":"J. Hatcliff","year":"1994","unstructured":"John Hatcliff and Olivier Danvy. A generic account of continuation-passing styles. In Hans-J. Boehm, editor, Proceedings of the Twenty-First Annual ACM Symposium on Principles of Prg. Lng., pages 458\u2013471, Portland, Oregon, January 1994. ACM Press."},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Neil D. Jones, editor. Semantics-Directed Compiler Generation, number 94 in Lecture Notes in Computer Science, Aarhus, Denmark, 1980.","DOI":"10.1007\/3-540-10250-7"},{"key":"13_CR17","unstructured":"Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall International Series in Computer Science. Prentice-Hall, 1993."},{"issue":"1","key":"13_CR18","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF01806312","volume":"2","author":"N. D. Jones","year":"1989","unstructured":"Neil D. Jones, Peter Sestoft, and Harald S\u00f8ndergaard. MIX: A self-applicable partial evaluator for experiments in compiler generation. LISP and Symbolic Computation, 2(1):9\u201350, 1989.","journal-title":"LISP and Symbolic Computation"},{"key":"13_CR19","first-page":"258","volume-title":"Generating a compiler for a lazy language by partial evaluation","author":"J. J\u00f8rgensen","year":"1992","unstructured":"Jesper J\u00f8rgensen. Generating a compiler for a lazy language by partial evaluation. In Andrew W. Appel, editor, Proceedings of the Nineteenth Annual ACM Symposium on Principles of Programming Languages, pages 258\u2013268, Albuquerque, New Mexico, January 1992. ACM Press."},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Ulrik J\u00f8rring and William L. Scherlis. Compilers and staging transformations. In Mark Scott Johnson and Ravi Sethi, editors, Proceedings of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, pages 86\u201396, St. Petersburg, Florida, January 1986.","DOI":"10.1145\/512644.512652"},{"key":"13_CR21","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1145\/363744.363749","volume":"8","author":"P. J. Landin","year":"1965","unstructured":"Peter J. Landin. A correspondence between Algol 60 and Church's lambda notation. Communications of the ACM, 8:89\u2013101 and 158\u2013165, 1965.","journal-title":"Communications of the ACM"},{"key":"13_CR22","unstructured":"Peter Lee. Realistic Compiler Generation. MIT Press, 1989."},{"key":"13_CR23","unstructured":"Robert E. Milne and Christopher Strachey. A Theory of Programming Language Semantics. Chapman and Hall, London, and John Wiley, New York, 1976."},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"Lockwood Morris. The next 700 formal language descriptions. In Carolyn L. Talcott, editor, Special issue on continuations (Part I), LISP and Symbolic Computation, Vol. 6, Nos. 3\/4, pages 249\u2013258. Kluwer Academic Publishers, December 1993.","DOI":"10.1007\/BF01019460"},{"key":"13_CR25","volume-title":"Technical Report MD-30","author":"P. D. Mosses","year":"1979","unstructured":"Peter D. Mosses. SIS \u2014 semantics implementation system, reference manual and user guide. Technical Report MD-30, DAIMI, Computer Science Department, Aarhus University, Aarhus, Denmark, 1979."},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"Peter D. Mosses. Theory and practice of Action Semantics. In Proceedings of the 1996 Symposium on Mathematical Foundations of Computer Science, Lecture Notes in Computer Science, 1996. To appear.","DOI":"10.1007\/3-540-61550-4_139"},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"Flemming Nielson and Hanne Riis Nielson. Two-Level Functional Languages, volume 34 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1992.","DOI":"10.1017\/CBO9780511526572"},{"key":"13_CR28","unstructured":"Larry Paulson. Compiler generation from denotational semantics. In Bernard Lorho, editor, Methods and Tools for Compiler Construction, pages 219\u2013250. Cambridge University Press, 1984."},{"key":"13_CR29","first-page":"94","volume-title":"SIGPLAN Notices, Vol. 19","author":"U. Pleban","year":"1984","unstructured":"Uwe Pleban. Compiler prototyping using formal semantics. In Graham [14], pages 94\u2013105."},{"key":"13_CR30","volume-title":"Algol 60 Implementation","author":"B. Randell","year":"1964","unstructured":"B. Randell and L. J. Russell. Algol 60 Implementation. Academic Press, New York, 1964."},{"key":"13_CR31","first-page":"230","volume-title":"SIGPLAN Notices, Vol. 17","author":"M. R. Raskovsky","year":"1982","unstructured":"Martin R. Raskovsky. Denotational semantics as a specification of code generators. In Allen [2], pages 230\u2013244."},{"key":"13_CR32","doi-asserted-by":"crossref","unstructured":"John C. Reynolds. Definitional interpreters for higher-order programming languages. In Proceedings of 25th ACM National Conference, pages 717\u2013740, Boston, Massachusetts, 1972.","DOI":"10.1145\/800194.805852"},{"key":"13_CR33","first-page":"345","volume-title":"The essence of Algol","author":"J. C. Reynolds","year":"1982","unstructured":"John C. Reynolds. The essence of Algol. In van Vliet, editor, International Symposium on Algorithmic Languages, pages 345\u2013372, Amsterdam, The Netherlands, 1982. North-Holland."},{"key":"13_CR34","unstructured":"David A. Schmidt. Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, Inc., 1986."},{"key":"13_CR35","first-page":"245","volume-title":"SIGPLAN Notices, Vol. 17","author":"R. Sethi","year":"1982","unstructured":"Ravi Sethi. Control flow aspects of semantics-directed compiling. In Allen [2], pages 245\u2013260."},{"key":"13_CR36","unstructured":"Joseph Stoy. Some mathematical aspects of functional programming. In John Darlington, Peter Henderson, and David A. Turner, editors, Functional Programming and its Applications. Cambridge University Press, 1982."},{"key":"13_CR37","unstructured":"Joseph E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977."},{"issue":"3","key":"13_CR38","doi-asserted-by":"crossref","first-page":"496","DOI":"10.1145\/357172.357179","volume":"4","author":"M. Wand","year":"1982","unstructured":"Mitchell Wand. Deriving target code as a representation of continuation semantics. ACM Transactions on Programming Languages and Systems, 4(3):496\u2013517, 1982.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"13_CR39","first-page":"213","volume-title":"SIGPLAN Notices, Vol. 19","author":"M. Wand","year":"1984","unstructured":"Mitchell Wand. A semantic prototyping system. In Graham [14], pages 213\u2013221."},{"key":"13_CR40","doi-asserted-by":"crossref","unstructured":"Mitchell Wand. From interpreter to compiler: a representational derivation. In Harald Ganzinger and Neil D. Jones, editors, Programs as Data Objects, number 217 in Lecture Notes in Computer Science, pages 306\u2013324, Copenhagen, Denmark, October 1985.","DOI":"10.1007\/3-540-16446-4_17"}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics, and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61756-6_85.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:10:21Z","timestamp":1605647421000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61756-6_85"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617563","9783540706540"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/3-540-61756-6_85","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}