{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T16:51:26Z","timestamp":1771951886892,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540603597","type":"print"},{"value":"9783540450481","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0026825","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:29:45Z","timestamp":1132396185000},"page":"259-278","source":"Crossref","is-referenced-by-count":43,"title":["Efficient multi-level generating extensions for program specialization"],"prefix":"10.1007","author":[{"given":"Robert","family":"Gl\u00fcck","sequence":"first","affiliation":[]},{"given":"Jesper","family":"J\u00f8rgensen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,16]]},"reference":[{"key":"17_CR1","unstructured":"Lars Ole Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen, May 1994. (DIKU report 94\/19)."},{"key":"17_CR2","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":"17_CR3","unstructured":"Anders Bondorf and Dirk Dussart. Improving cps-based partial evaluation: writing cogen by hand. In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, pages 1\u20139, Orlando, Florida, 1994."},{"key":"17_CR4","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(76)90011-4","volume":"7","author":"L. Beckman","year":"1976","unstructured":"Lennart Beckman, Anders Haraldson, \u00d6sten Oskarsson, and Erik Sandewall. A partial evaluator and its use as a programming tool. Artificial Intelligence, 7:319\u2013357, 1976.","journal-title":"Artificial Intelligence"},{"key":"17_CR5","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1017\/S0956796800000769","volume":"11","author":"A. Bondorf","year":"1993","unstructured":"Anders Bondorf and Jesper J\u00f8rgensen. Efficient analyses for realistic off-line partial evaluation. Journal of Functional Programming, special issue on partial evaluation, 11:315\u2013346, 1993.","journal-title":"Journal of Functional Programming, special issue on partial evaluation"},{"issue":"1\u20133","key":"17_CR6","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(1\u20133):3\u201334, December 1991. Revision of paper in ESOP'90, LNCS 432, May 1990.","journal-title":"Science of Computer Programming"},{"key":"17_CR7","unstructured":"Lars Birkedal and Morten Welinder. Partial evaluation of Standard ML. DIKU Report 93\/22, DIKU, Department of Computer Science, University of Copenhagen, 1993."},{"key":"17_CR8","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1007\/3-540-58402-1_15","volume-title":"Programming Language Implementation and Logic Programming. Proceedings, volume 844 of LNCS","author":"L. Birkedal","year":"1994","unstructured":"Lars Birkedal and Morten Welinder. Hand-writing program generator generators. In M. Hermenegildo and J. Penjam, editors, Programming Language Implementation and Logic Programming. Proceedings, volume 844 of LNCS, pages 198\u2013214, Madrid, Spain, 1994. Springer-Verlag."},{"key":"17_CR9","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1016\/0890-5401(91)90020-3","volume":"92","author":"F. Cardone","year":"1991","unstructured":"Felice Cardone and Mario Coppo. Type inference with recursive types: Syntax and semantics. Information and Computation, 92:48\u201380, 1991.","journal-title":"Information and Computation"},{"key":"17_CR10","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1007\/3-540-52592-0_57","volume-title":"ESOP '90, volume 432 of LNCS","author":"C. Consel","year":"1990","unstructured":"Charles Consel and Olivier Danvy. From interpreting to compiling binding times. In N. D. Jones, editor, ESOP '90, volume 432 of LNCS, pages 88\u2013105, Copenhagen, Denmark, 1990. Springer-Verlag."},{"key":"17_CR11","unstructured":"Andrei P. Ershov. On the essence of compilation. In E.J. Neuhold, editor, Formal Description of Programming Concepts, pages 391\u2013420. North-Holland, 1978."},{"key":"17_CR12","first-page":"432","volume-title":"Static Analysis. Proceedings, volume 864 of LNCS","author":"R. Gl\u00fcck","year":"1994","unstructured":"Robert Gl\u00fcck and Jesper J\u00f8rgensen. Generating transformers for deforestation and supercompilation. In B. Le Charlier, editor, Static Analysis. Proceedings, volume 864 of LNCS, pages 432\u2013448, Namur, Belgium, 1994. Springer-Verlag."},{"key":"17_CR13","unstructured":"Robert Gl\u00fcck and Jesper J\u00f8rgensen. Constraint-based multi-level bindingtime analysis of higher-order languages. Unpublished, 1995."},{"key":"17_CR14","first-page":"309","volume-title":"Towards multiple self-application","author":"R. Gl\u00fcck","year":"1991","unstructured":"Robert Gl\u00fcck. Towards multiple self-application. In Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 309\u2013320, New Haven, Connecticut, 1991. ACM Press."},{"issue":"4","key":"17_CR15","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1017\/S0956796800001167","volume":"4","author":"R. Gl\u00fcck","year":"1994","unstructured":"Robert Gl\u00fcck. On the generation of specializers. Journal of Functional Programming, 4(4):499\u2013514, 1994.","journal-title":"Journal of Functional Programming"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"John Hatcliff. Mechanically verifying the correctness of an off-line partial evaluator. In PLILP'95, LNCS. Springer-Verlag, 1995.","DOI":"10.1007\/BFb0026826"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Fritz Henglein. Efficient type inference for higher-order binding-time analysis. In John Hughes, editor, Conference on Functional Programming and Computer Architecture, Cambridge, Massachusetts. LNCS 523, pages 448\u2013472. Springer-Verlag, August 1991.","DOI":"10.1007\/3540543961_22"},{"key":"17_CR18","unstructured":"Carsten Kehler Holst and John Launchbury. Handwriting cogen to avoid problems with static typing. Working paper, 1992."},{"key":"17_CR19","unstructured":"Carsten Kehler Holst. Syntactic currying: yet another approach to partial evaluation. Technical report, DIKU, Department of Computer Science, University of Copenhagen, 1989."},{"key":"17_CR20","unstructured":"Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993."},{"key":"17_CR21","unstructured":"Torben A. E. Mogensen. Partially static structures in a self-applicable partial evaluator. In Dines Bj\u00f8rner, Andrei P. Ershov, and Neil D. Jones, editors, Partial Evaluation and Mixed Computation, pages 325\u2013347. North-Holland, 1988."},{"key":"17_CR22","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511526572","volume-title":"Two-Level Functional Languages, volume 34 of Cambridge Tracts in Theoretical Computer Science","author":"F. Nielson","year":"1992","unstructured":"Flemming Nielson and Hanne R. Nielson. Two-Level Functional Languages, volume 34 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, 1992."},{"key":"17_CR23","unstructured":"Sergei A. Romanenko. A compiler generator produced by a self-applicable specializer can have a surprisingly natural and understandable structure. In Dines Bj\u00f8rner, Andrei P. Ershov, and Neil D. Jones, editors, Partial Evaluation and Mixed Computation, pages 445\u2013463. North-Holland, 1988."},{"key":"17_CR24","unstructured":"Peter Sestoft. Automatic call unfolding in a partial evaluator. In Dines Bj\u00f8rner, Andrei P. Ershov, and Neil D. Jones, editors, Partial Evaluation and Mixed Computation, pages 485\u2013506. North-Holland, 1988."},{"key":"17_CR25","first-page":"485","volume-title":"volume 788 of LNCS","author":"M. H. S\u00f8rensen","year":"1994","unstructured":"Morten Heine S\u00f8rensen, Robert Gl\u00fcck, and Neil D. Jones. Towards unifying partial evaluation, deforestation, supercompilation, and GPC. In Donald Sannella, editor, Programming Languages and Systems \u2014 ESOP '94. Proceedings, volume 788 of LNCS, pages 485\u2013500, Edinburgh, Scotland, 1994. Springer-Verlag."},{"key":"17_CR26","volume-title":"Refal-5, Programming Guide and Reference Manual","author":"V. F. Turchin","year":"1989","unstructured":"Valentin F. Turchin. Refal-5, Programming Guide and Reference Manual. New England Publishing Co., Holyoke, Massachusetts, 1989."},{"issue":"3","key":"17_CR27","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1017\/S0956796800000782","volume":"3","author":"M. Wand","year":"1993","unstructured":"Mitchell Wand. Specifying the correctness of binding-time analysis. Journal of Functional Programming, 3(3):365\u2013387, 1993.","journal-title":"Journal of Functional Programming"}],"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\/BFb0026825","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:54:22Z","timestamp":1586570062000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026825"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540603597","9783540450481"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/bfb0026825","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}