{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T12:40:25Z","timestamp":1737290425877,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540667100"},{"type":"electronic","value":"9783540470182"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-47018-2_3","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T17:01:22Z","timestamp":1184605282000},"page":"83-107","source":"Crossref","is-referenced-by-count":2,"title":["Similix: A Self-Applicable Partial Evaluator for Scheme"],"prefix":"10.1007","author":[{"given":"Jesper","family":"J\u00f8rgensen","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"3_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":"3_CR2","series-title":"Technical Report","volume-title":"Automatic autoprojection of recursive equations with global variables and abstract data types","author":"A. Bondorf","year":"1990","unstructured":"Anders Bondorf and Olivier Danvy. Automatic autoprojection of recursive equations with global variables and abstract data types. Technical Report 90-4, DIKU, University of Copenhagen, Denmark, 1990."},{"key":"3_CR3","doi-asserted-by":"publisher","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":"3_CR4","series-title":"Technical Report","volume-title":"Efficient analyses for realistic off-line partial evaluation: extended version","author":"A. Bondorf","year":"1993","unstructured":"Anders Bondorf and Jesper J\u00f8rgensen. Efficient analyses for realistic off-line partial evaluation: extended version. Technical Report 93\/4, DIKU, University of Copenhagen, Denmark, 1993."},{"issue":"3","key":"3_CR5","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1017\/S0956796800000769","volume":"3","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, 3(3):315\u2013346, 1993.","journal-title":"Journal of Functional Programming, special issue on partial evaluation"},{"key":"3_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1007\/3-540-52592-0_56","volume-title":"ESOP\u201990, Copenhagen, Denmark","author":"A. Bondorf","year":"1990","unstructured":"Anders Bondorf. Automatic autoprojection of higher order recursive equations. In Neil D. Jones, editor, ESOP\u201990, Copenhagen, Denmark. LNCS 432, pages 70\u201387. Springer-Verlag, May 1990."},{"key":"3_CR7","volume-title":"Self-Applicable Partial Evaluation","author":"A. Bondorf","year":"1990","unstructured":"Anders Bondorf. Self-Applicable Partial Evaluation. PhD thesis, DIKU, University of Copenhagen, Denmark, 1990."},{"key":"3_CR8","series-title":"Lect Notes Comput Sci","first-page":"3","volume-title":"Science of Computer Programming","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\u201990, LNCS 432, May 1990."},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Anders Bondorf. Compiling laziness by partial evaluation. In Graham Hutton, and Carsten Kehler Hoist, editors. Functional Programming, Glasgow 1990. Workshops in Computing. Springer-Verlag [25], pages 9\u201322, 1991.","DOI":"10.1007\/978-1-4471-3810-5_2"},{"issue":"1","key":"3_CR10","first-page":"1","volume":"V","author":"A. Bondorf","year":"1992","unstructured":"Anders Bondorf. Improving binding times without explicit cps-conversion. In 1992 ACM Conference on Lisp and Functional Programming. San Francisco, California. LISP Pointers, vol. V, no. 1, pages 1\u201310, June 1992.","journal-title":"1992 ACM Conference on Lisp and Functional Programming. San Francisco, California. LISP Pointers"},{"key":"3_CR11","volume-title":"Similix 5.0 Manual","author":"A. Bondorf","year":"1993","unstructured":"Anders Bondorf. Similix 5.0 Manual. DIKU, University of Copenhagen, Denmark, May 1993. Included in Similix distribution, 82 pages."},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Anders Bondorf and Jens Palsberg. Compiling actions by partial evaluation. In FPCA\u2019 93, Conference on Functional Programming and Computer Architecture, Copenhagen, Denmark, pages 308\u2013317. ACM, June 1993.","DOI":"10.1145\/165180.165227"},{"key":"3_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/3-540-58402-1_15","volume-title":"Programming Language Implementation and Logic Programming. Proceedings","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":"3_CR14","volume-title":"Analyse de programmes, Evaluation partielle et G\u00e9n\u00e9ration de compilateurs","author":"C. Consel","year":"1989","unstructured":"Charles Consel. Analyse de programmes, Evaluation partielle et G\u00e9n\u00e9ration de compilateurs. PhD thesis, LITP, University of Paris 6, France, June 1989. In French."},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Charles Consel. A tour of Schism: a partial evaluation system for higher-order applicative languages. In Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 145\u2013154. ACM Press, 1993.","DOI":"10.1145\/154630.154645"},{"key":"3_CR16","unstructured":"Yoshihiko Futamura and Kenroku Nogi. Generalized partial computation. In Dines Bj\u00f8rner, Andrei P. Ershov, and Neil D. Jones, editors, Partial Evaluation and Mixed Computation, pages 133\u2013151. North-Holland, 1988."},{"issue":"1","key":"3_CR17","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1017\/S0956796800000058","volume":"1","author":"C. K. Gomard","year":"1991","unstructured":"Carsten K. Gomard and Neil D. Jones. A partial evaluator for the untyped lambda calculus. Journal of Functional Programming, 1(1):21\u201369, January 1991.","journal-title":"Journal of Functional Programming"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Robert Gl\u00fcck and Jesper J\u00f8rgensen. Generating optimizing specializers. In IEEE International Conference on Computer Languages, pages 183\u2013194. IEEE Computer Society Press, 1994.","DOI":"10.1109\/ICCL.1994.288382"},{"key":"3_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1007\/3-540-58485-4_57","volume-title":"Static Analysis. Proceedings","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."},{"issue":"2","key":"3_CR20","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1023\/A:1007763000430","volume":"10","author":"R. Gl\u00fcck","year":"1997","unstructured":"Robert Gl\u00fcck and Jesper J\u00f8rgensen. An automatic program generator for multilevel specialization. LISP and Symbolic Computation, 10(2):113\u2013158, 1997.","journal-title":"LISP and Symbolic Computation"},{"key":"3_CR21","volume-title":"Higher order partial evaluation \u2014 hope for the lambda calculus","author":"C. K. Gomard","year":"1989","unstructured":"Carsten K. Gomard. Higher order partial evaluation \u2014 hope for the lambda calculus. Master\u2019s thesis, DIKU, University of Copenhagen, Denmark, student report 89-9-11, September 1989."},{"key":"3_CR22","unstructured":"Sheila Harnett and Margaret Montenyohl. Towards effecient compilation of a dynamic object-oriented language. In Charles Consel, editor, PEPM\u201992, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, pages 82\u201389, June 1992."},{"key":"3_CR23","unstructured":"Carsten Kehler Hoist. Language triplets: the Amix approach. In Dines Bj\u00f8rner, Andrei P. Ershov, and Neil D. Jones, editors, Partial Evaluation and Mixed Computation, pages 167\u2013185. North-Holland, 1988."},{"key":"3_CR24","unstructured":"Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993."},{"key":"3_CR25","unstructured":"Simon L. Peyton Jones, Graham Hutton, and Carsten Kehler Hoist, editors. Functional Programming, Glasgow 1990. Workshops in Computing. Springer-Verlag, August 1991."},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Jesper J\u00f8rgensen and Michael Leuschel. Efficiently generating efficient generating extensions in Prolog. In O. Danvy, R. Gl\u00fcck, and P. Thiemann, editors, Proceedings Dagstuhl Seminar on Partial Evaluation, pages 263\u2013283, Schloss Dagstuhl, Germany, February 1996. Springer-Verlag.","DOI":"10.1007\/3-540-61580-6_12"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Jesper J\u00f8rgensen. Generating a pattern matching compiler by partial evaluation. In Graham Hutton, and Carsten Kehler Hoist, editors. Functional Programming, Glasgow 1990. Workshops in Computing. Springer-Verlag [25], pages 177\u2013195, 1991.","DOI":"10.1007\/978-1-4471-3810-5_15"},{"key":"3_CR28","volume-title":"Compiler generation by partial evaluation","author":"J. J\u00f8rgensen","year":"1992","unstructured":"Jesper J\u00f8rgensen. Compiler generation by partial evaluation. Master\u2019s thesis, DIKU, University of Copenhagen, Denmark, University of Copenhagen, Denmark, Jan 1992."},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"Jesper J\u00f8rgensen. Generating a compiler for a lazy language by partial evaluation. In Nineteenth Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages. Albuquerque, New Mexico, pages 258\u2013268, January 1992.","DOI":"10.1145\/143165.143220"},{"key":"3_CR30","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/3-540-15976-2_6","volume-title":"Rewriting Techniques and Applications, Dijon, France","author":"N. D. Jones","year":"1985","unstructured":"Neil D. Jones, Peter Sestoft, and Harald S\u00f8ndergaard. An experiment in partial evaluation: the generation of a compiler generator. In J.-P. Jouannaud, editor, Rewriting Techniques and Applications, Dijon, France. LNCS 202, pages 124\u2013140. Springer-Verlag, 1985."},{"key":"3_CR31","unstructured":"Karoline Malmkj\u00e6r. Predicting properties of residual programs. In Charles Consel, editor, PEPM\u201992, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, pages 8\u201313, June 1992. Available as Technical Report YALEU\/DCS\/RR-909 from Yale University."},{"key":"3_CR32","unstructured":"Christian Mossin. Similix binding time debugger manual, system version 4.0. In cluded in Similix distribution, September 1991."},{"key":"3_CR33","doi-asserted-by":"crossref","unstructured":"Christian Mossin. Partial evaluation of general parsers (extended abstract). In David Schmidt, editor, A CM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM\u201993, Copenhagen, Denmark, June 1993.","DOI":"10.1145\/154630.154632"},{"key":"3_CR34","unstructured":"Bernhard Rytz and Marc Gengler. A polyvariant binding time analysis. In Charles Consel, editor, PEPM\u201992, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, pages 21\u201328, June 1992. Available as Technical Report YALEU\/DCS\/RR-909 from Yale University."},{"key":"3_CR35","doi-asserted-by":"crossref","unstructured":"Michael Sperber and Peter Thiemann. The essence of LR parsing. In PEPM\u201995, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, pages 146\u2013155. ACM, ACM Press, june 1995.","DOI":"10.1145\/215465.215579"},{"issue":"3","key":"3_CR36","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/5956.5957","volume":"8","author":"V. F. Turchin","year":"1986","unstructured":"Valentin F. Turchin. The concept of a supercompiler. Transactions on Programming Languages and Systems, 8(3):292\u2013325, 1986.","journal-title":"Transactions on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Partial Evaluation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47018-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T12:13:09Z","timestamp":1737288789000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47018-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540667100","9783540470182"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/3-540-47018-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}