{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:14:20Z","timestamp":1763468060051},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540543961"},{"type":"electronic","value":"9783540475996"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3540543961_9","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:44:18Z","timestamp":1330209858000},"page":"165-191","source":"Crossref","is-referenced-by-count":20,"title":["Automatic online partial evaluation"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Weise","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roland","family":"Conybeare","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erik","family":"Ruf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott","family":"Seligman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,6]]},"reference":[{"key":"9_CR1","unstructured":"H. Abelson, G. J. Sussman, and J. Sussman. Structure and Interpretation of Computer Programs. MIT Press, 1985."},{"issue":"4","key":"9_CR2","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0004-3702(76)90011-4","volume":"7","author":"L. Beckman","year":"1976","unstructured":"L. Beckman et al. A partial evaluator and its use as a programming tool. Artificial Intelligence, 7(4):291\u2013357, 1976.","journal-title":"Artificial Intelligence"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"A. Berlin. A compilation strategy for numerical programs based on partial evaluation. Master's thesis, Massachusetts Institute of Technology, Cambridge, MA, July 1989. Published as Artificial Intelligence Laboratory Technical Report TR-1144.","DOI":"10.21236\/ADA212759"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"A. Berlin. Partial evaluation applied to numerical computation. In Proceedings of the 1990 ACM Conference on Lisp and Functional Programming, Nice, France, 1990.","DOI":"10.1145\/91556.91612"},{"issue":"12","key":"9_CR5","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/2.62091","volume":"23","author":"A. Berlin","year":"1990","unstructured":"A. Berlin and D. Weise. Compiling scientific programs using partial evaluation. IEEE Computer Magazine, 23(12):25\u201337, December 1990.","journal-title":"IEEE Computer Magazine"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"A. Bondorf. Automatic autoprojection of higher order recursive equations. In N. Jones, editor, Proceedings of the 3rd European Symposium on Programming, pages 70\u201387. Springer-Verlag, LNCS 432, 1990.","DOI":"10.1007\/3-540-52592-0_56"},{"key":"9_CR7","volume-title":"Self-Applicable Partial Evaluation","author":"A. Bondorf","year":"1990","unstructured":"A. Bondorf. Self-Applicable Partial Evaluation. PhD thesis, DIKU, University of Copenhangen, Copenhagen, Denmark, December 1990."},{"key":"9_CR8","series-title":"DIKU Report","volume-title":"Automatic autoprojection for recursive equations with global variables and abstract data types","author":"A. Bondorf","year":"1990","unstructured":"A. Bondorf and O. Danvy. Automatic autoprojection for recursive equations with global variables and abstract data types. DIKU Report 90\/04, University of Copenhagen, Copenhagen, Denmark, 1990."},{"issue":"1","key":"9_CR9","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R. M. Burstall","year":"1977","unstructured":"R. M. Burstall and J. Darlington. A transformation system for developing recursive programs. Journal of the ACM, 24(1):44\u201367, January 1977.","journal-title":"Journal of the ACM"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"C. Consel. New insights into partial evaluation: the SCHISM experiment. In Proceedings of the 2nd European Symposium on Programming, pages 236\u2013246. Springer-Verlag, LNCS 300, 1988.","DOI":"10.1007\/3-540-19027-9_16"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"C. Consel. Binding time analysis for higher order untyped functional languages. In Proceedings of the 1990 ACM Conference on Lisp and Functional Programming, pages 264\u2013272, Nice, France, 1990.","DOI":"10.1145\/91556.91668"},{"issue":"2","key":"9_CR12","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":"9_CR13","doi-asserted-by":"crossref","unstructured":"C. Consel and O. Danvy. From interpreting to compiling binding times. In N. Jones, editor, Proceedings of the 3rd European Symposium on Programming, pages 88\u2013105. Springer-Verlag, LNCS 432, 1990.","DOI":"10.1007\/3-540-52592-0_57"},{"issue":"2","key":"9_CR14","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1016\/0020-0190(77)90078-3","volume":"6","author":"A. P. Ershov","year":"1977","unstructured":"A. P. Ershov. On the partial computation principle. Information Processing Letters, 6(2):38\u201341, April 1977.","journal-title":"Information Processing Letters"},{"issue":"5","key":"9_CR15","first-page":"45","volume":"2","author":"Y. Futamura","year":"1971","unstructured":"Y. Futamura. Partial evaluation of computation process\u2014an approach to a compiler-compiler. Systems, Computers, Controls, 2(5):45\u201350, 1971.","journal-title":"Systems, Computers, Controls"},{"key":"9_CR16","volume-title":"Towards developing a reflexive partial evaluator for an interesting subset of LISP","author":"M. A. Guzowski","year":"1988","unstructured":"M. A. Guzowski. Towards developing a reflexive partial evaluator for an interesting subset of LISP. Master's thesis, Dept. of Computer Engineering and Science, Case Western Reserve University, Cleveland, Ohio, January 1988."},{"key":"9_CR17","unstructured":"A. Haraldsson. A Program Manipulation System Based on Partial Evaluation. PhD thesis, Link\u00f6ping University, 1977. Published as Link\u00f6ping Studies in Science and Technology Dissertation No. 14."},{"key":"9_CR18","unstructured":"N. D. Jones. Automatic program specialization: A re-examination from basic principles. In D. Bj\u00f8rner, A. P. Ershov, and N. D. Jones, editors, Partial Evaluation and Mixed Computation, pages 225\u2013282. North-Holland, 1988."},{"key":"9_CR19","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 Rewriting Techniques and Applications, pages 124\u2013140. Springer-Verlag, LNCS 202, 1985.","DOI":"10.1007\/3-540-15976-2_6"},{"issue":"3\/4","key":"9_CR20","first-page":"9","volume":"1","author":"N. D. Jones","year":"1988","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, 1(3\/4):9\u201350, 1988.","journal-title":"Lisp and Symbolic Computation"},{"key":"9_CR21","series-title":"Technical Report","volume-title":"A partial evaluator of Lisp written in Prolog","author":"K. M. Kahn","year":"1983","unstructured":"K. M. Kahn. A partial evaluator of Lisp written in Prolog. Technical Report 17, UPMAIL, Department of Computing Science, Uppsala University, Uppsala, Sweden, February 1983."},{"key":"9_CR22","first-page":"204","volume-title":"The Programming Language Lisp","author":"L. A. Lombardi","year":"1964","unstructured":"L. A. Lombardi and B. Raphael. Lisp as the language for an incremental computer. In Berkeley and Bobrow, editors, The Programming Language Lisp, pages 204\u2013219. MIT Press, Cambridge, MA, 1964."},{"key":"9_CR23","unstructured":"T. Mogensen. Partially static structures. In D. Bj\u00f8rner, A. P. Ershov, and N. D. Jones, editors, Partial Evaluation and Mixed Computation, pages 325\u2013347. North-Holland, 1988."},{"key":"9_CR24","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 Copenhangen, Copenhagen, Denmark, March 1989."},{"key":"9_CR25","unstructured":"M. Perlin. Call-graph caching: Transforming programs into networks. In Proceedings of the 11th International Joint Conference on Artificial Intelligence, pages 122\u2013128, 1989."},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"E. Ruf and D. Weise. Using types to avoid redundant specialization. In Proceedings of the 1991 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, New Haven, CN, June 1991.","DOI":"10.1145\/115865.115902"},{"key":"9_CR27","unstructured":"R. Schooler. Partial evaluation as a means of language extensibility. Master's thesis, MIT, Cambridge, MA, August 1984. Published as MIT\/LCS\/TR-324."},{"key":"9_CR28","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, pages 485\u2013506. North-Holland, 1988."},{"key":"9_CR29","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, MIT Artificial Intelligence Laboratory, Cambridge, MA, 1978."},{"issue":"3","key":"9_CR30","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1145\/5956.5957","volume":"8","author":"V. Turchin","year":"1986","unstructured":"V. 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":"9_CR31","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 CSL-TR-90-441, Computer Systems Laboratory, Stanford University, Stanford, CA, 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_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:54:00Z","timestamp":1605646440000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540543961_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540543961","9783540475996"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3540543961_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}