{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T16:51:28Z","timestamp":1771951888027,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":50,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540543961","type":"print"},{"value":"9783540475996","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3540543961_24","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:43:40Z","timestamp":1330191820000},"page":"496-519","source":"Crossref","is-referenced-by-count":21,"title":["For a better support of static data flow"],"prefix":"10.1007","author":[{"given":"Charles","family":"Consel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Danvy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,6]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"A. W. Appel and T. Jim. Continuation-passing, closure-passing style. In ACM Symposium on Principles of Programming Languages, pages 293\u2013302, 1989.","DOI":"10.1145\/75277.75303"},{"key":"24_CR2","unstructured":"D. Bj\u00f8rner, A. P. Ershov, and N. D. Jones, editors. Partial Evaluation and Mixed Computation. North-Holland, 1988."},{"key":"24_CR3","series-title":"DIKU Research Report","volume-title":"Automatic autoprojection of recursive equations with global variables and abstract data types","author":"A. Bondorf","year":"1990","unstructured":"A. Bondorf and O. Danvy. Automatic autoprojection of recursive equations with global variables and abstract data types. DIKU Research Report 90\/04, University of Copenhagen, Copenhagen, Denmark, 1990. To appear in Science of Computer Programming."},{"key":"24_CR4","series-title":"Research Report","volume-title":"An optimizing technique for high level programming languages","author":"W. Burge","year":"1976","unstructured":"W. Burge. An optimizing technique for high level programming languages. Research Report RC 5834 (# 25271), IBM Thomas J.W atson Research Center, Yorktown Heights, New York, New York, 1976."},{"key":"24_CR5","volume-title":"Automatic Methods for Program Transformation","author":"W. N. Chin","year":"1990","unstructured":"W. N. Chin. Automatic Methods for Program Transformation. PhD thesis, University of London, Imperial College of Science, Technology and Medecine, London, UK, 1990."},{"key":"24_CR6","volume-title":"Analyse de Programmes, Evaluation Partielle et G\u00e9n\u00e9ration de Compilateurs","author":"C. Consel","year":"1989","unstructured":"C. Consel. Analyse de Programmes, Evaluation Partielle et G\u00e9n\u00e9ration de Compilateurs. PhD thesis, Universit\u00e9 de Paris VI, Paris, France, June 1989."},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"C. Consel. Binding time analysis for higher order untyped functional languages. In ACM Conference on Lisp and Functional Programming, pages 264\u2013272, 1990.","DOI":"10.1145\/91556.91668"},{"key":"24_CR8","volume-title":"The Schism Manual","author":"C. Consel","year":"1990","unstructured":"C. Consel. The Schism Manual. Yale University, New Haven, Connecticut, USA, 1990. Version 1.0."},{"issue":"2","key":"24_CR9","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0020-0190(89)90113-0","volume":"30","author":"C. Consel","year":"1989","unstructured":"C. Consel and O. Danvy. Partial evaluation of pattern matching in strings. Information Processing Letters, 30(2):79\u201386, 1989.","journal-title":"Information Processing Letters"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"C. Consel and O. Danvy. From interpreting to compiling binding times. In N. D. Jones, editor, ESOP'90, 3 rd European Symposium on Programming, volume 432 of Lecture Notes in Computer Science, pages 88\u2013105. Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52592-0_57"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"C. Consel and O. Danvy. Static and dynamic semantics processing. In ACM Symposium on Principles of Programming Languages, pages 14\u201323, 1991.","DOI":"10.1145\/99583.99588"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"C. Consel and S. C. Khoo. Semantics-directed generation of a Prolog compiler. In PLILP'91, 3 rd International Symposium on Programming Language Implementation and Logic Programming, 1991. To appear.","DOI":"10.1007\/3-540-54444-5_94"},{"key":"24_CR13","unstructured":"P. Cousot. Semantic foundations of program analysis: Theory and applications. In S. S. Muchnick and N. D. Jones, editors, Program Flow Analysis: Theory and Applications. Prentice-Hall, 1981."},{"key":"24_CR14","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1016\/0020-0190(91)90148-B","volume":"37","author":"O. Danvy","year":"1991","unstructured":"O. Danvy. Semantics-directed compilation of non-linear patterns. Information Processing Letters, 37:315\u2013322, March 1991.","journal-title":"Information Processing Letters"},{"key":"24_CR15","series-title":"Technical Report","volume-title":"Representing control, a study of the CPS transformation","author":"O. Danvy","year":"1991","unstructured":"O. Danvy and A. Filinski. Representing control, a study of the CPS transformation. Technical Report CIS-91-2, Kansas State University, Manhattan, Kansas, USA, 1991."},{"key":"24_CR16","series-title":"Diku student report","volume-title":"Parsers and partial evaluation: An experiment","author":"H. Dybkj\u00e6r","year":"1985","unstructured":"H. Dybkj\u00e6r. Parsers and partial evaluation: An experiment. Diku student report 85-7-15, University of Copenhagen, Copenhagen, Denmark, 1985."},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"A. Filinski. Declarative continuations: An investigation of duality in programming language semantics. In D.H. Pitt et al., editors, Category Theory and Computer Science, number 389 in Lecture Notes in Computer Science, pages 224\u2013249, Manchester, UK, September 1989.","DOI":"10.1007\/BFb0018355"},{"issue":"5","key":"24_CR18","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, pages 45\u201350, 1971.","journal-title":"Systems, Computers, Controls"},{"key":"24_CR19","doi-asserted-by":"crossref","unstructured":"C. Hanson. Efficient stack allocation for tail-recursive languages. In ACM Conference on Lisp and Functional Programming, pages 106\u2013118, 1990.","DOI":"10.1145\/91556.91603"},{"key":"24_CR20","doi-asserted-by":"crossref","unstructured":"C. K. Holst. Improving full laziness. In Simon L. Peyton Jones, Graham Hutton, and Carsten Kehler Holst, editors, Functional Programming, Glasgow 1990. Workshops in Computing, pages 71\u201382. Springer-Verlag, August 1990.","DOI":"10.1007\/978-1-4471-3810-5_7"},{"key":"24_CR21","doi-asserted-by":"crossref","unstructured":"C. K. Holst and C. K. Gomard. Partial evaluation is fuller laziness. In Proceedings of the first ACM SIGPLAN and IFIP Symposium on Partial Evaluation and Semantics-Based Program Manipulation, New Haven, Connecticut, June 1991. To appear in the SIGPLAN Notices.","DOI":"10.1145\/115865.115890"},{"key":"24_CR22","doi-asserted-by":"crossref","unstructured":"C. K. Holst and J. Hughes. Towards binding time improvement for free. In Simon L. Peyton Jones, Graham Hutton, and Carsten Kehler Holst, editors, Functional Programming, Glasgow 1990. Workshops in Computing, pages 83\u2013100. Springer-Verlag, August 1990.","DOI":"10.1007\/978-1-4471-3810-5_8"},{"key":"24_CR23","doi-asserted-by":"crossref","unstructured":"J. Hughes and J. Launchbury. Towards relating forward and backwards analyses. In Simon L. Peyton Jones, Graham Hutton, and Carsten Kehler Holst, editors, Functional Programming, Glasgow 1990. Workshops in Computing, pages 101\u2013113. Springer-Verlag, August 1990.","DOI":"10.1007\/978-1-4471-3810-5_9"},{"key":"24_CR24","doi-asserted-by":"crossref","unstructured":"T. Johnsson. Lambda lifting: Transforming programs to recursive equations. In J.-P. Jouannaud, editor, Conference on Functional Programming Languages and Computer Architecture, volume 201 of Lecture Notes in Computer Science, pages 190\u2013203. Springer-Verlag, 1985.","DOI":"10.1007\/3-540-15975-4_37"},{"key":"24_CR25","doi-asserted-by":"crossref","unstructured":"N. D. Jones, P. Sestoft, and H. S\u00f8ndergaard. An experiment in partial evaluation: the generation of a compiler generator. In J.-P. Jouannaud, editor, Rewriting Techniques and Applications, Dijon, France, volume 202 of Lecture Notes in Computer Science, pages 124\u2013140. Springer-Verlag, 1985.","DOI":"10.1145\/988346.988358"},{"issue":"1","key":"24_CR26","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF01806312","volume":"2","author":"N. D. Jones","year":"1989","unstructured":"N. D. Jones, P. Sestoft, and H. 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":"24_CR27","doi-asserted-by":"crossref","unstructured":"J. J\u00f8rgensen. Generating a pattern matching compiler by partial evaluation. In Simon L. Peyton Jones, Graham Hutton, and Carsten Kehler Holst, editors, Functional Programming, Glasgow 1990. Workshops in Computing, pages 177\u2013195. Springer-Verlag, August 1990.","DOI":"10.1007\/978-1-4471-3810-5_15"},{"key":"24_CR28","doi-asserted-by":"crossref","unstructured":"U. J\u00f8rring and W. L. Scherlis. Compilers and staging transformations. In ACM Symposium on Principles of Programming Languages, pages 86\u201396, 1986.","DOI":"10.1145\/512644.512652"},{"key":"24_CR29","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF00290339","volume":"7","author":"J. B. Kam","year":"1977","unstructured":"J. B. Kam and J. D. Ullman. Monotone data flow analysis frameworks. Acta Informatica, 7:305\u2013317, 1977.","journal-title":"Acta Informatica"},{"issue":"7","key":"24_CR30","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1145\/13310.13333","volume":"21","author":"D. A. Kranz","year":"1986","unstructured":"D. A. Kranz, R. Kelsey, J. A. Rees, P. Hudak, J. Philbin, and N. I. Adams. Orbit: an optimizing compiler for Scheme. SIGPLAN Notices, ACM Symposium on Compiler Construction, 21(7):219\u2013233, 1986.","journal-title":"SIGPLAN Notices, ACM Symposium on Compiler Construction"},{"key":"24_CR31","volume-title":"Projection Factorisation in Partial Evaluation","author":"J. Launchbury","year":"1990","unstructured":"J. Launchbury. Projection Factorisation in Partial Evaluation. PhD thesis, Department of Computing Science, University of Glasgow, Scotland, January 1990."},{"key":"24_CR32","unstructured":"T. Mogensen. Partially static structures in a self-applicable partial evaluator. In D. Bj\u00f8rner, A. P. Ershov, and N. D. Jones, editors, Partial Evaluation and Mixed Computation, pages 325\u2013348. North-Holland, 1988."},{"key":"24_CR33","volume-title":"Binding Time Aspects of Partial Evaluation","author":"T. Mogensen","year":"1989","unstructured":"T. Mogensen. Binding Time Aspects of Partial Evaluation. PhD thesis, DIKU, University of Copenhagen, Denmark, March 1989."},{"key":"24_CR34","doi-asserted-by":"crossref","unstructured":"T. Mogensen. Separating binding times in language specifications. In FPCA'89, 4 th International Conference on Functional Programming Languages and Computer Architecture, pages 12\u201325. ACM Press, 1989.","DOI":"10.1145\/99370.99372"},{"key":"24_CR35","unstructured":"P. Mosses. Action Semantics. Cambridge University Press, 1991. draft textbook, in preparation."},{"key":"24_CR36","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/BF00263194","volume":"18","author":"F. Nielson","year":"1982","unstructured":"F. Nielson. A denotational framework for data flow analysis. Acta Informatica, 18:265\u2013287, 1982.","journal-title":"Acta Informatica"},{"key":"24_CR37","doi-asserted-by":"crossref","unstructured":"H. R. Nielson and F. Nielson. Eureka definitions for free! or disagreement points for fold\/unfold transformations. In N. D. Jones, editor, ESOP'90, 3 rd European Symposium on Programming, volume 432 of Lecture Notes in Computer Science, pages 291\u2013305. Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52592-0_70"},{"key":"24_CR38","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0304-3975(75)90017-1","volume":"1","author":"G. D. Plotkin","year":"1975","unstructured":"G. D. Plotkin. Call-by-name, call-by-value and the \u03bb-calculus. Theoretical Computer Science, 1:125\u2013159, 1975.","journal-title":"Theoretical Computer Science"},{"key":"24_CR39","doi-asserted-by":"crossref","unstructured":"J. Rees and W. Clinger, eds. Revised3 report on the algorithmic language Scheme. SIGPLAN Notices, 21(12):37\u201379, December 1986.","DOI":"10.1145\/15042.15043"},{"key":"24_CR40","doi-asserted-by":"crossref","unstructured":"J. Reynolds. Definitional interpreters for higher order programming languages. In ACM National Conference, pages 717\u2013740, 1972.","DOI":"10.1145\/800194.805852"},{"key":"24_CR41","unstructured":"P. Sestoft. Automatic call unfolding in a partial evaluator. In D. Bj\u00f8rner, A. P. Ershov, and N. D. Jones, editors, Partial Evaluation and Mixed Computation. North-Holland, 1988."},{"key":"24_CR42","doi-asserted-by":"crossref","unstructured":"O. Shivers. The semantics of Scheme control-flow analysis. In Proceedings of the first ACM SIGPLAN and IFIP Symposium on Partial Evaluation and Semantics-Based Program Manipulation, New Haven, Connecticut, June 1991. To appear in the SIGPLAN Notices.","DOI":"10.1145\/115865.115884"},{"key":"24_CR43","doi-asserted-by":"crossref","unstructured":"D. A. Smith. Partial evaluation of pattern matching in CLP domains. In Proceedings of the first ACM SIGPLAN and IFIP Symposium on Partial Evaluation and Semantics-Based Program Manipulation, New Haven, Connecticut, June 1991. To appear in the SIGPLAN Notices.","DOI":"10.1145\/115865.115873"},{"key":"24_CR44","series-title":"Technical Report","volume-title":"Rabbit: A compiler for Scheme","author":"G. L. Steele Jr","year":"1978","unstructured":"G. L. Steele, Jr. Rabbit: A compiler for Scheme. Technical Report AI-TR-474, Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, Massachusetts, May 1978."},{"issue":"3","key":"24_CR45","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1145\/5956.5957","volume":"8","author":"V. F. Turchin","year":"1986","unstructured":"V. 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":"24_CR46","doi-asserted-by":"crossref","unstructured":"P. Wadler. Deforestation: Transforming programs to eliminate trees. In H. Ganzinger, editor, ESOP'88, 2 nd European Symposium on Programming, volume 300 of Lecture Notes in Computer Science. Springer-Verlag, 1988.","DOI":"10.1007\/3-540-19027-9_23"},{"key":"24_CR47","doi-asserted-by":"crossref","unstructured":"P. Wadler. Theorems for free! In FPCA'89, 4 th International Conference on Functional Programming Languages and Computer Architecture, pages 347\u2013359. ACM Press, 1989.","DOI":"10.1145\/99370.99404"},{"issue":"1","key":"24_CR48","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1145\/322169.322183","volume":"27","author":"M. Wand","year":"1980","unstructured":"M. Wand. Continuation-based program transformation strategies. Journal of the ACM, 27(1):164\u2013180, January 1980.","journal-title":"Journal of the ACM"},{"key":"24_CR49","doi-asserted-by":"crossref","unstructured":"M. Wand. From interpreter to compiler: A representational derivation. In H. Ganzinger and N. D. Jones, editors, Programs as Data Objects, volume 217 of Lecture Notes in Computer Science, pages 306\u2013324, 1985.","DOI":"10.1007\/3-540-16446-4_17"},{"key":"24_CR50","series-title":"Technical Report","volume-title":"Computing types during program specialization","author":"D. Weise","year":"1990","unstructured":"D. Weise and E. Ruf. Computing types during program specialization. Technical Report 441, Stanford University, Stanford, USA, August 1990."}],"container-title":["Lecture Notes in Computer Science","Functional Programming Languages and Computer Architecture"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540543961_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:53:57Z","timestamp":1605628437000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540543961_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540543961","9783540475996"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/3540543961_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991]]}}}