{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T14:16:09Z","timestamp":1778249769246,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540664598","type":"print"},{"value":"9783540482949","type":"electronic"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48294-6_8","type":"book-chapter","created":{"date-parts":[[2007,8,3]],"date-time":"2007-08-03T16:16:02Z","timestamp":1186157762000},"page":"117-133","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Binding-Time Analysis for Both Static and Dynamic Expressions"],"prefix":"10.1007","author":[{"given":"Kenichi","family":"Asai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,10,1]]},"reference":[{"key":"8_CR1","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\u2019 97), pp. 12\u201321 (June 1997).","DOI":"10.1145\/258993.258997"},{"issue":"5","key":"8_CR2","doi-asserted-by":"publisher","first-page":"1431","DOI":"10.1145\/186025.186037","volume":"16","author":"J. M. Ashley","year":"1994","unstructured":"Ashley, J. M., and C. Consel \u201cFixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs,\u201d ACM Transactions on Programming Languages and Systems, Vol. 16,No. 5, pp. 1431\u20131448 (September 1994).","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR3","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"},{"issue":"3","key":"8_CR4","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1017\/S0956796800000769","volume":"3","author":"A. Bondorf","year":"1993","unstructured":"Bondorf, A., and J. J\u00f8rgensen \u201cEfficient analyses for realistic off-line partial evaluation,\u201d Journal of Functional Programming, Vol. 3,No 3, pp. 315\u2013346, Cambridge University Press (July 1993).","journal-title":"Journal of Functional Programming"},{"key":"8_CR5","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_CR6","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"},{"issue":"3","key":"8_CR7","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/BF01019004","volume":"8","author":"O. Danvy","year":"1995","unstructured":"Danvy, O., K. Malmkj\u00e6r, and J. Palsberg \u201cThe essence of eta-expansion in partial evaluation,\u201d Lisp and Symbolic Computation, Vol. 8,No. 3, pp. 209\u2013227, Kluwer Academic Publishers (1995).","journal-title":"Lisp and Symbolic Computation"},{"key":"8_CR8","unstructured":"Dean, J., C. Chambers, and D. Grove \u201cIdentifying Profitable Specialization in Object-Oriented Languages,\u201d ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM\u2019 94), pp. 85\u201396 (June 1994)."},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Fujinami, N. \u201cDetermination of Dynamic Method Dispatches Using Run-time Code Generation,\u201d Proceedings of the Second International Workshop on Types in Compilation (TIC 1998), pp. 135\u2013151 (March 1998).","DOI":"10.1007\/BFb0055522"},{"issue":"5","key":"8_CR10","first-page":"45","volume":"2","author":"Y. Futamura","year":"1971","unstructured":"Futamura, Y. \u201cPartial evaluation of computation process\u2013an approach to a compiler-compiler,\u201d Systems, Computers, Controls, Vol. 2,No. 5, pp. 45\u201350, (1971).","journal-title":"Systems, Computers, Controls"},{"issue":"2","key":"8_CR11","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_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"448","DOI":"10.1007\/3540543961_22","volume-title":"Functional Programming Languages and Computer Architecture","author":"F. Henglein","year":"1991","unstructured":"Henglein, F. \u201cEfficient Type Inference for Higher-Order Binding-Time Analysis,\u201d In J. Hughes, editor, Functional Programming Languages and Computer Architecture (LNCS 523), pp. 448\u2013472 (August 1991)."},{"key":"8_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/BFb0032749","volume-title":"Static Analysis","author":"L. Hornof","year":"1997","unstructured":"Hornof, L., C. Consel, and J. Noyffe \u201cEffective Specialization of Realistic Programs via Use Sensitivity,\u201d In Van Hentenryck P., editor, Static Analysis (LNCS 1302), pp. 63\u201373 (1997)."},{"key":"8_CR14","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_CR15","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_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1007\/3-540-61580-6_23","volume-title":"Partial Evaluation","author":"M. Sperber","year":"1996","unstructured":"Sperber, M. \u201cSelf-Applicable Online Partial Evaluation,\u201d In O. Danvy, R. Gl\u00fcck, and P. Thiemann editors, Partial Evaluation (LNCS 1110), pp. 465\u2013480 (February 1996)."},{"issue":"5","key":"8_CR17","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1145\/258916.258935","volume":"32","author":"M. Sperber","year":"1997","unstructured":"Sperber, M., and P. Thiemann \u201cTwo for the price of one: composing partial evaluation and compilation,\u201d Proceedings of the ACM SIGPLAN\u2019 97 Conference on Programming Language Design and Implementation (PLDI), SIGPLAN Notices, Vol. 32,No 5, pp. 215\u2013225 (June 1997).","journal-title":"SIGPLAN Notices"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Tarjan, R. Data Structures and Network Flow Algorithms, Volume CMBS 44 of Regional Conference Series in Applied Mathematics, SIAM (1983).","DOI":"10.1137\/1.9781611970265"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48294-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T13:50:13Z","timestamp":1778248213000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-48294-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664598","9783540482949"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-48294-6_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"1 October 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}