{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T12:48:36Z","timestamp":1784206116268,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540667100","type":"print"},{"value":"9783540470182","type":"electronic"}],"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_2","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T17:01:22Z","timestamp":1184605282000},"page":"20-82","source":"Crossref","is-referenced-by-count":24,"title":["An Introduction to Online and Offline Partial Evaluation Using a Simple Flowchart Language"],"prefix":"10.1007","author":[{"given":"John","family":"Hatcliff","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"2_CR1","series-title":"DIKU Report","volume-title":"Program Analysis and Specialization for the C Programming Language","author":"L. O. Andersen","year":"1994","unstructured":"Lars Ole Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, Computer Science Department, University of Copenhagen, Copenhagen, Denmark, 1994. DIKU Report 94-19."},{"key":"2_CR2","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":"2_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/3-540-61580-6_4","volume-title":"Proceedings of the 1996 International Seminar on Partial Evaluation","author":"C. Consel","year":"1996","unstructured":"Charles Consel, Luke Hornof, Fran\u00e7ois No\u00ebl, Jacques Noy\u00e9, and Nicolae Volanschi. A uniform approach for compile-time and run-time specialization. In Proceedings of the 1996 International Seminar on Partial Evaluation, number 1110 in Lecture Notes in Computer Science, pages 54\u201372, Dagstuhl Castle, Germany, February 1996."},{"issue":"3","key":"2_CR4","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1145\/169683.174155","volume":"15","author":"C. Consel","year":"1993","unstructured":"Charles Consel and Siau Cheng Khoo. Parameterized partial evaluation. ACM Transactions on Programming Languages and Systems, 15(3):463\u2013493, 1993.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Charles Consel and Fran\u00e7ois No\u00ebl. A general approach for run-time specialization and its application to C. In Proceedings of the Twenty-third Annual ACM Symposium on Principles of Programming Languages, pages 145\u2013156, St. Petersburg, FLA USA, January 1996. ACM Press.","DOI":"10.1145\/237721.237767"},{"key":"2_CR6","unstructured":"Olivier Danvy, Robert Gl\u00fcck, and Peter Thiemann, editors. 1998 Symposium on Partial Evaluation, 1998."},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Dirk Dussart, John Hughes, and Peter Thiemann. Type specialisation for imperative languages. In Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming, pages 204\u2013216, Amsterdam, The Netherlands, June 1997. ACM Press.","DOI":"10.1145\/258948.258968"},{"issue":"2","key":"2_CR8","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0020-0190(77)90078-3","volume":"6","author":"A. P. Ershov","year":"1977","unstructured":"Andrei P. Ershov. On the partial computation principle. Information Processing Letters, 6(2):41\u201367, 1977.","journal-title":"Information Processing Letters"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0304-3975(82)90111-6","volume":"18","author":"A. P. Ershov","year":"1982","unstructured":"Andrei P. Ershov. Mixed computation: Potential applications and problems for study. Theoretical Computer Science, 18:41\u201367, 1982.","journal-title":"Theoretical Computer Science"},{"key":"2_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1007\/3-540-57264-3_34","volume-title":"Proceedings of the Third International Workshop on Static Analysis WSA\u201993","author":"R. Gl\u00fcck","year":"1993","unstructured":"Robert Gl\u00fcck and Andrei Klimov. Occam\u2019s razor in metacomputation: the notion of a perfect process tree. In Patrick Cousot, Moreno Falaschi, Gilberto Fil\u00e8, and Antoine Rauzy, editors, Proceedings of the Third International Workshop on Static Analysis WSA\u201993, volume 724 of Lecture Notes in Computer Science, pages 112\u2013123, Padova, Italy, September 1993."},{"key":"2_CR11","first-page":"1139","volume-title":"Information Processing\u2019 89. Proceedings of the IFIP 11th World Computer Congress","author":"C. K. Gomard","year":"1989","unstructured":"Carsten K. Gomard and Neil D. Jones. Compiler generation by partial evaluation. In G. X. Ritter, editor, Information Processing\u2019 89. Proceedings of the IFIP 11th World Computer Congress, pages 1139\u20131144. IFIP, North-Holland, 1989."},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"John Hatcliff. Foundations of partial evaluation of functional programs with computational effects. ACM Computing Surveys, 1998. (in press).","DOI":"10.1145\/289121.289134"},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1017\/S0960129597002405","volume":"7","author":"J. Hatcliff","year":"1997","unstructured":"John Hatcliff and Olivier Danvy. A computational formalization for partial evaluation. Mathematical Structures in Computer Science, 7:507\u2013541, 1997. Special issue devoted to selected papers from the Workshop on Logic, Domains, and Programming Languages. Darmstadt, Germany. May, 1995.","journal-title":"Mathematical Structures in Computer Science"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Neil D. Jones. The essence of program transformation by partial evaluation and driving. In Masahiko Sato Neil D. Jones, Masami Hagiya, editor, Logic, Language and Computation, a Festschrift in honor of Satoru Takasu, pages 206\u2013224. Springer-Verlag, April 1994.","DOI":"10.1007\/BFb0032402"},{"key":"2_CR15","unstructured":"Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall International, 1993."},{"issue":"1","key":"2_CR16","doi-asserted-by":"publisher","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":"2_CR17","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"},{"issue":"4","key":"2_CR18","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/202176.202184","volume":"30","author":"P. Kleinrubatscher","year":"1995","unstructured":"Paul Kleinrubatscher, Albert Kriegshaber, Robert Z\u00f6chling, and Robert Gl\u00fcck. Fortran program specialization. SIGPLAN Notices, 30(4):61\u201370, 1995.","journal-title":"SIGPLAN Notices"},{"key":"2_CR19","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of Theoretical Aspects of Computer Software","author":"J. L. Lawall","year":"1997","unstructured":"Julia L. Lawall and Peter Thiemann. Sound specialization in the presence of computational effects. In Proceedings of Theoretical Aspects of Computer Software, Lecture Notes in Computer Science, September 1997. (to appear)."},{"key":"2_CR20","volume-title":"Partial evaluation of an object-oriented imperative language","author":"M. Marquard","year":"1992","unstructured":"M. Marquard and B. Steensgaard. Partial evaluation of an object-oriented imperative language. Master\u2019s thesis, University of Copenhagen, Copenhagen, Denmark, 1992."},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"U. Meyer. Techniques for partial evaluation of imperative languages. In Paul Hudak and Neil D. Jones, editors, Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, SIGPLAN Notices, Vol. 26, No 9, pages 94\u2013105, New Haven, Connecticut, June 1991. ACM Press.","DOI":"10.1145\/115865.115876"},{"key":"2_CR22","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":"2_CR23","unstructured":"Erik Ruf. Topics in online partial evaluation. PhD thesis, Stanford, Palo Alto, California, February 1993."},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Erik Ruf and Daniel Weise. On the specialization of online program specializers. Journal of Functional Programming, 3, 1993.","DOI":"10.1017\/S0956796800000745"},{"issue":"6","key":"2_CR25","doi-asserted-by":"publisher","first-page":"811","DOI":"10.1017\/S0956796800002008","volume":"6","author":"M. H. S\u00f8rensen","year":"1996","unstructured":"Morten Heine S\u00f8rensen, Robert Gl\u00fcck, and Neil Jones. A positive supercompiler. Journal of Functional Programming, 6(6):811\u2013838, 1996.","journal-title":"Journal of Functional Programming"},{"key":"2_CR26","unstructured":"Peter Thiemann. A generic framework for partial evaluation of programs with computational effects. In Proceedings of the Seventh European Symposium on Programming, 1998."},{"issue":"3","key":"2_CR27","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. ACM Transactions on Programming Languages and Systems, 8(3):292\u2013325, 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"Glynn Winskel. The Formal Semantics of Programming Languages: An Introduction. MIT Press, 1993.","DOI":"10.7551\/mitpress\/3054.001.0001"}],"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_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,25]],"date-time":"2020-04-25T02:02:18Z","timestamp":1587780138000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47018-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540667100","9783540470182"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-47018-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999]]}}}