{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T16:51:25Z","timestamp":1771951885877,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540584025","type":"print"},{"value":"9783540486954","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58402-1_15","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:52:40Z","timestamp":1330271560000},"page":"198-214","source":"Crossref","is-referenced-by-count":23,"title":["Hand-writing program generator generators"],"prefix":"10.1007","author":[{"given":"Lars","family":"Birkedal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Morten","family":"Welinder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"15_CR1","unstructured":"Lars Ole Andersen. C program specialization. Technical Report 92\/14, DIKU, Department of Computer Science, University of Copenhagen, May 1992."},{"key":"15_CR2","unstructured":"Lars Ole Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, Department fo Computer Science, University of Copenhagen, May 1994."},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Andrew W. Appel. Compiling with Continuations. Cambridge University Press, 1992.","DOI":"10.1017\/CBO9780511609619"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Lennart Beckman, Anders Haraldson, \u00d6sten Oskarsson, and Erik Sandewall. A partial evaluator and its use as a programming tool. In Artificial Intelligence 7, pages 319\u2013357. North-Holland Publishing Company, 1976.","DOI":"10.1016\/0004-3702(76)90011-4"},{"key":"15_CR5","volume-title":"Technical Report 93\/14","author":"L. Birkedal","year":"1993","unstructured":"Lars Birkedal, Nick Rothwell, Mads Tofte, and David N. Turner. The ML Kit, Version 1. Technical Report 93\/14, DIKU, University of Copenhagen, Denmark, 1993. The ML Kit is obtainable by anonymous ftp from ftp.diku.dk directory pub\/diku\/users\/birkedal. This technical report is distributed along with the ML Kit."},{"key":"15_CR6","unstructured":"Lars Birkedal and Morten Welinder. Partial evaluation of Standard ML. Technical Report 93\/22, DIKU, October 1993."},{"key":"15_CR7","volume-title":"PhD thesis","author":"A. Bondorf","year":"1990","unstructured":"Anders Bondorf. Self-Applicable Partial Evaluation. PhD thesis, DIKU, Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen \u00d8, Denmark, December 1990."},{"key":"15_CR8","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0167-6423(91)90035-V","volume":"17","author":"A. Bondorf","year":"1991","unstructured":"Anders Bondorf. Automatic autoprojection of higher order recursive equations. Science of Computer Programming, 17:3\u201334, March 1991.","journal-title":"Science of Computer Programming"},{"key":"15_CR9","first-page":"1","volume-title":"Lisp Pointers, vol. V, no. 1, 1992","author":"A. Bondorf","year":"1992","unstructured":"Anders Bondorf. Improving binding times without explicit CPS-conversion. In 1992 ACM Conference in Lisp and Functional Programming, San Francisco, California. (Lisp Pointers, vol. V, no. 1, 1992), pages 1\u201310. ACM, 1992."},{"key":"15_CR10","volume-title":"Draft","author":"A. Bondorf","year":"1988","unstructured":"Anders Bondorf, Neil D. Jones, Torben Mogensen, and Peter Sestoft. Binding time analysis and the taming of self-application. Draft, 18 pages, DIKU, University of Copenhagen, Denmark, August 1988."},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Anders Bondorf and Jesper J\u00f8rgensen. Efficient analyses for realistic off-line partial evaluation. Journal of Functional Programming, special issue on partial evaluation, 3, July 1993.","DOI":"10.1017\/S0956796800000769"},{"key":"15_CR12","unstructured":"Anne de Niel. Self-applicable Partial Evaluation of Polymorphically Typed Functional Languages. PhD thesis, Katholieke Universiteit Leuven, January 1993."},{"issue":"5","key":"15_CR13","first-page":"45","volume":"2","author":"Y. Futamura","year":"1971","unstructured":"Y. Futamura. Partial evaluation of computation process \u2014 an approach to a compiler-compiler. Systems, Computers, Controls, 2(5):45\u201350, 1971.","journal-title":"Systems, Computers, Controls"},{"key":"15_CR14","volume-title":"Master's thesis","author":"Carsten K. K. Gomard","year":"1989","unstructured":"Carsten K. Gomard. Higher order partial evaluation \u2014 HOPE for the lambda calculus. Master's thesis, DIKU, Universitetsparken 1, DK-2100 Copenhagen \u00d8, Denmark, 1989."},{"issue":"1","key":"15_CR15","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1017\/S0956796800000058","volume":"1","author":"Carsten K. K. Gomard","year":"1991","unstructured":"Carsten K. Gomard and Neil D. Jones. A partial evaluator for the untyped lambdacalculus. Journal of Functional Programming, 1(1):21\u201369, January 1991.","journal-title":"Journal of Functional Programming"},{"key":"15_CR16","series-title":"Lecture Notes in Computer Science, vol. 523","doi-asserted-by":"crossref","first-page":"448","DOI":"10.1007\/3540543961_22","volume-title":"Functional Programming Languages and Computer Architecture","author":"F. Henglein","year":"1991","unstructured":"Fritz Henglein. Efficient type inference for higher-order binding-time analysis. In John Hughes, editor, Functional Programming Languages and Computer Architecture, Cambridge, Massachusetts, August 1991. (Lecture Notes in Computer Science, vol. 523), pages 448\u2013472. Springer-Verlag, 1991."},{"key":"15_CR17","unstructured":"Carsten Kehler Holst. Syntactic currying. Student report, DIKU, 1989."},{"key":"15_CR18","unstructured":"Carsten Kehler Holst and John Launchbury. Handwriting cogen to avoid problems with static typing. Working Note, October 1992."},{"key":"15_CR19","unstructured":"Neil D. Jones. Automatic program specialization: A re-examination from basic principles. In D. Bj\u00f6rner, A. P. Ershov, and Neil D. Jones, editors, Partial Evaluation and Mixed Computation, pages 225\u2013282. North-Holland, 1988."},{"key":"15_CR20","first-page":"245","volume-title":"AMAST: Algebraic Methodology and Software Technology","author":"Neil D. D. Jones","year":"1991","unstructured":"Neil D. Jones. Efficient algebraic operations on programs. In AMAST: Algebraic Methodology and Software Technology, pages 245\u2013267. University of Iowa, USA, 1991."},{"key":"15_CR21","unstructured":"Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Program Generation. Prentice-Hall, 1993."},{"issue":"1","key":"15_CR22","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF01806312","volume":"2","author":"Neil D. 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":"15_CR23","doi-asserted-by":"crossref","unstructured":"John Launchbury. A strongly-typed self-applicable partial evaluator. In John Hughes, editor, Functional Programming Languages and Computer Architecture, Lecture Notes in Computer Science. ACM, Springer-Verlag, 1991.","DOI":"10.1007\/3540543961_8"},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"Mark Leone and Peter Lee. Deferred compilation: The automation of run-time code generation. Technical Report CMU-CS-93-225, Carnegie Mellon University, December 1993.","DOI":"10.21236\/ADA274124"},{"key":"15_CR25","volume-title":"Master's thesis","author":"M. Marquard","year":"1992","unstructured":"Morten Marquard and Bjarne Steensgaard. Partial evaluation of an object-oriented imperative language. Master's thesis, DIKU, University of Copenhagen, Denmark, 1992."},{"key":"15_CR26","series-title":"Sigplan Notices, vol. 26, no. 9, September 1991","first-page":"94","volume-title":"Partial Evaluation and Semantics-Based Program Manipulation","author":"U. Meyer","year":"1991","unstructured":"U. Meyer. Techniques for partial evaluation of imperative languages. In Partial Evaluation and Semantics-Based Program Manipulation, New Haven, Connecticut. (Sigplan Notices, vol. 26, no. 9, September 1991), pages 94\u2013105. ACM, 1991."},{"key":"15_CR27","unstructured":"Robin Milner and Mads Tofte. Commentary on Standard ML. MIT Press, 1991."},{"key":"15_CR28","unstructured":"Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, 1990."},{"key":"15_CR29","doi-asserted-by":"crossref","unstructured":"Torben \u00c6. Mogensen. Constructor specialization. In Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 22\u201333, 1993.","DOI":"10.1145\/154630.154633"},{"key":"15_CR30","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0167-6423(88)90025-1","volume":"10","author":"H. R. Nielson","year":"1988","unstructured":"Hanne Riis Nielson and Flemming Nielson. Automatic binding time analysis for a typed \u03bb-calculus. Science of Computer Programming, 10:139\u2013176, 1988.","journal-title":"Science of Computer Programming"},{"key":"15_CR31","series-title":"Lecture Notes in Computer Science, vol. 523","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/3540543961_9","volume-title":"Functional Programming Languages and Computer Architecture","author":"D. Weise","year":"1991","unstructured":"D. Weise, R. Conybeare, E. Ruf, and S. Seligman. Automatic online partial evaluation. In John Hughes, editor, Functional Programming Languages and Computer Architecture, Cambridge, Massachusetts, August 1991. (Lecture Notes in Computer Science, vol. 523), pages 165\u2013191. ACM, Springer-Verlag, 1991."}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58402-1_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:19:57Z","timestamp":1605647997000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58402-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584025","9783540486954"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-58402-1_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}