{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:13:18Z","timestamp":1725487998602},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425588"},{"type":"electronic","value":"9783540448068"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44806-3_8","type":"book-chapter","created":{"date-parts":[[2007,7,20]],"date-time":"2007-07-20T18:21:36Z","timestamp":1184955696000},"page":"126-145","source":"Crossref","is-referenced-by-count":2,"title":["Integrating Partial Evaluators into Interpreters"],"prefix":"10.1007","author":[{"given":"Kenichi","family":"Asai","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,3]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Andersen, P. H. \u201cPartial Evaluation Applied to Ray Tracing,\u201d Software Engineering in Scientific Computing, pp. 78\u201385, DIKU report D-289 (1996).","DOI":"10.1007\/978-3-322-85027-0_10"},{"key":"8_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/3-540-48294-6_8","volume-title":"Static Analysis","author":"K. Asai","year":"1999","unstructured":"Asai, K. \u201cBinding-Time Analysis for Both Static and Dynamic Expressions,\u201d In A. Cortesi and G. Fil\u00e9, editors, Static Analysis (LNCS) 1694), pp. 117\u2013133 (September 1999)."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Asai, K., H. Masuhara, and A. Yonezawa \u201cPartial Evaluation of Call-by-value \u03bb-calculus with Side-effects,\u201d ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), pp. 12\u201321 (June 1997).","DOI":"10.1145\/258994.258997"},{"issue":"2\/3","key":"8_CR4","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/BF01806113","volume":"9","author":"K. Asai","year":"1996","unstructured":"Asai, K., S. Matsuoka, and A. Yonezawa \u201cDuplication and Partial Evaluation-For a Better Understanding of Reflective Languages-,\u201d Lisp and Symbolic Computation, Vol. 9, Nos. 2\/3, pp. 203\u2013241, Kluwer Academic Publishers (May\/June 1996).","journal-title":"Lisp and Symbolic Computation"},{"key":"8_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/BFb0055521","volume-title":"Types in Compilation","author":"V. Balat","year":"1998","unstructured":"Balat, V., and O. Danvy \u201cStrong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation,\u201d In X. Leroy and A. Ohori editors, Types in Compilation (LNCS 1473) pp. 240\u2013252 (March 1998)."},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/0167-6423(91)90002-F","volume":"16","author":"A. Bondorf","year":"1991","unstructured":"Bondorf, A., and O. Danvy \u201cAutomatic autoprojection of recursive equations with global variables and abstract data types,\u201d Science of Computer Programming, Vol.16, pp. 151\u2013195, Elsevier (1991).","journal-title":"Science of Computer Programming"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Consel, C. \u201cA Tour of Schism: A Partial Evaluation System for Higher-Order Applicative Languages,\u201d Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM\u201893), pp. 145\u2013154 (June 1993).","DOI":"10.1145\/154630.154645"},{"key":"8_CR8","unstructured":"Consel, C., P. Jouvelot, and P. \u00d8rb\u00e6k \u201cSeparate Polyvariant Binding Time Reconstruction,\u201d Ecole des Mines, CRI Report A\/261 (October 1994)."},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Consel, C., and F. No\u0451l \u201cA General Approach for Run-Time Specialization and its Application to C,\u201d Conference Record of the 23rd Annual ACM Symposium on Principles of Programming Languages, pp. 145\u2013156 (January 1996).","DOI":"10.1145\/237721.237767"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Danvy, O. \u201cType-Directed Partial Evaluation,\u201d Conference Record of the 23rd Annual ACM Symposium on Principles of Programming Languages, pp. 242\u2013257 (January 1996).","DOI":"10.1145\/237721.237784"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Danvy, O., and A. Filinski \u201cAbstracting Control,\u201d Proceedings of the 1990 ACM Conference on Lisp and Functional Programming, pp. 151\u2013160(June 1990).","DOI":"10.1145\/91556.91622"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Flanagan, C., A. Sabry, B. F. Duba, and M. Felleisen \u201cThe Essence of Compiling with Continuations,\u201d Proceedings of the ACM SIGPLAN \u201893 Conference on Programming Language Design and Implementation (PLDI), pp. 237\u2013247 (June 1993).","DOI":"10.1145\/155090.155113"},{"issue":"5","key":"8_CR13","first-page":"45","volume":"2","author":"Y. Futamura","year":"1971","unstructured":"Futamura, Y. \u201cPartial evaluation of computation process-an approach to a compiler-compiler,\u201d Systems, Computers, Controls, Vol. 2, No. 5, pp. 45\u201350, (1971), reprinted as Higher-Order and Symbolic Computation, Vol. 12, No. 4, pp. 381-391, Kluwer Academic Publishers (December 1999).","journal-title":"Systems, Computers, Controls"},{"issue":"2","key":"8_CR14","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1023\/A:1007763000430","volume":"10","author":"R. Gl\u00fcck","year":"1997","unstructured":"Gl\u00fcck, R., and J. J\u00f8rgensen \u201cAn Automatic Program Generator for Multi-Level Specialization,\u201d Lisp and Symbolic Computation, Vol. 10, No. 2, pp. 113\u2013158, Kluwer Academic Publishers (July 1997).","journal-title":"Lisp and Symbolic Computation"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Guenter, B., T. B. Knoblock, E. Ruf \u201cSpecializing Shaders,\u201d Proceedings of SIGGRAPH 95 (Computer Graphics Proceedings) pp. 343\u2013350 (1995).","DOI":"10.1145\/218380.218470"},{"key":"8_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/3-540-47018-2_2","volume-title":"Partial Evaluation, Practice and Theory","author":"J. Hatcliff","year":"1999","unstructured":"Hatcliff, J. \u201cAn Introduction to Online and Offline Partial Evaluation Using a Simple Flowchart Language,\u201d In J. Hatcliff, T. \u00c6. Mogensen, and P. Thiemann editors, Partial Evaluation, Practice and Theory (LNCS 1706), pp. 20\u201382 (1999)."},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"H\u00f6lzle, U., C. Chambers, and D. Ungar \u201cDebugging Optimized Code with Dynamic Deoptimization,\u201d Proceedings of the ACM SIGPLAN \u201892 Conference on Programming Language Design and Implementation (PLDI), pp. 32\u201343 (June 1992).","DOI":"10.1145\/143103.143114"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Hornof, L., C. Consel, and J. Noy\u00e9 \u201cEffective Specialization of Realistic Programs via Use Sensitivity,\u201d In Van Hentenryck P., editor, Static Analysis (LNCS 1302), pp. 63\u201373 (1997).","DOI":"10.1007\/BFb0032749"},{"key":"8_CR19","volume-title":"Partial Evaluation and Automatic Program Generation","author":"N. D. Jones","year":"1993","unstructured":"Jones, N. D., C. K. Gomard, and P. Sestoft Partial Evaluation and Automatic Program Generation, New York: Prentice-Hall (1993)."},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Lawall, J. L., and O. Danvy \u201cContinuation-Based Partial Evaluation,\u201d Proceedings of the 1994 ACM Conference on Lisp and Functional Programming, pp. 227\u2013238 (June 1994).","DOI":"10.1145\/182590.182483"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Lee, P., and M. Leone \u201cOptimizing ML with run-time code generation,\u201d Proceedings of the ACM SIGPLAN \u201896 Conference on Programming Language Design and Implementation (PLDI), pp. 137\u2013148 (May 1996).","DOI":"10.1145\/249069.231407"},{"key":"8_CR22","unstructured":"Mogensen, T. \u00c6. \u201cThe Application of Partial Evaluation to Ray-Tracing,\u201d Master\u2019s thesis, DIKU, University of Copenhagen (1986)."},{"key":"8_CR23","unstructured":"Ruf, E. Topics in Online Partial Evaluation, Ph.D. thesis, Stanford University (March 1993). Also published as Stanford Computer Systems Laboratory technical report CSL-TR-93-563."},{"key":"8_CR24","unstructured":"Taha, W. Multi-Stage Programming: Its Theory and Applications, Ph.D. thesis, Oregon Graduate Institute of Science and Technology (November 1999)."},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Thiemann, P. J. \u201cCogen in Six Lines,\u201d Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP'96), pp. 180\u2013189 (May 1996).","DOI":"10.1145\/232627.232647"},{"key":"8_CR26","unstructured":"Thiemann, P. J., and D. Dussart \u201cPartial Evaluation for Higher-Order Languages with State,\u201d Available at http:\/\/www.informatik.uni-freiburg.de\/~thiemann\/papers\/mlpe.ps.gz ."},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Volanschi, E. N., C. Consel, G. Muller, and C. Cowan \u201cDeclarative Specialization of Object-Oriented Program,\u201d Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA \u201897), pp. 286\u2013300, (October 1997).","DOI":"10.1145\/263700.263749"}],"container-title":["Lecture Notes in Computer Science","Semantics, Applications, and Implementation of Program Generation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44806-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T10:59:16Z","timestamp":1556708356000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44806-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425588","9783540448068"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-44806-3_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}