{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,30]],"date-time":"2023-01-30T14:26:50Z","timestamp":1675088810981},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2002,3,1]],"date-time":"2002-03-01T00:00:00Z","timestamp":1014940800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["NGCO"],"published-print":{"date-parts":[[2002,3]]},"DOI":"10.1007\/bf03037258","type":"journal-article","created":{"date-parts":[[2009,4,22]],"date-time":"2009-04-22T02:04:17Z","timestamp":1240365857000},"page":"27-51","source":"Crossref","is-referenced-by-count":4,"title":["Binding-time analysis for both static and dynamic expressions"],"prefix":"10.1007","volume":"20","author":[{"given":"Kenichi","family":"Asai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,1]]},"reference":[{"key":"BF03037258_CR1","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/3-540-48294-6_8","volume-title":"Static Analysis","author":"Kenichi Asai","year":"1999","unstructured":"Asai, K., \u201cBinding-Time Analysis for Both Static and Dynamic Expressions,\u201d inStatic Analysis (LNCS 1694) (Cortesi, A. and Fil\u00e9, G., eds.), pp. 117\u2013133 (September 1999)."},{"key":"BF03037258_CR2","doi-asserted-by":"crossref","unstructured":"Asai, K., Masuhara, H. and Yonezawa, A., \u201cPartial Evaluation of Call-by-value \u03bb-calculus with Side-effects,\u201dACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM \u201997), pp. 12\u201321, June 1997.","DOI":"10.1145\/258993.258997"},{"issue":"5","key":"BF03037258_CR3","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 Consel, C., \u201cFixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs,\u201dACM Transactions on Programming Languages and Systems, 16, 5, pp. 1431\u20131448, September 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"BF03037258_CR4","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 Danvy, O., \u201cAutomatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types,\u201dScience of Computer Programming, 16, pp. 151\u2013195, Elsevier, 1991.","journal-title":"Science of Computer Programming"},{"issue":"3","key":"BF03037258_CR5","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1017\/S0956796800000769","volume":"3","author":"A. Bondorf","year":"1993","unstructured":"Bondorf, A., and J\u00f8rgensen, J., \u201cEfficient Analyses for Realistic Off-line Partial Evaluation,\u201dJournal of Functional Programming, 3, 3, pp. 315\u2013346, Cambridge University Press, July 1993.","journal-title":"Journal of Functional Programming"},{"key":"BF03037258_CR6","doi-asserted-by":"crossref","unstructured":"Danvy, O., \u201cType-Directed Partial Evaluation,\u201dConference Record of the 23rd Annual ACM Symposium on Principles of Programming Languages, pp. 242\u2013257, January 1996.","DOI":"10.1145\/237721.237784"},{"key":"BF03037258_CR7","doi-asserted-by":"crossref","unstructured":"Danvy, O. and Filinski, A., \u201cAbstracting Control,\u201d inProc. of the 1990 ACM Conference on Lisp and Functional Programming, pp. 151\u2013160, June 1990.","DOI":"10.1145\/91556.91622"},{"issue":"3","key":"BF03037258_CR8","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/BF01019004","volume":"8","author":"O. Danvy","year":"1995","unstructured":"Danvy, O., Malmkj\u00e6r, K. and Palsberg, J., \u201cThe Essence of Eta-expansion in Partial Evaluation,\u201dLisp and Symbolic Computation, 8, 3, pp. 209\u2013227, Kluwer Academic Publishers, 1995.","journal-title":"Lisp and Symbolic Computation"},{"key":"BF03037258_CR9","unstructured":"Dean, J., Chambers, C. and Grove, D., \u201cIdentifying Profitable Specialization in Object-Oriented Languages,\u201dACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM \u201994), pp. 85\u201396, June 1994."},{"key":"BF03037258_CR10","first-page":"253","volume-title":"Lecture Notes in Computer Science","author":"Nobuhisa Fujinami","year":"1998","unstructured":"Fujinami, N., \u201cDetermination of Dynamic Method Dispatches Using Run-time Code Generation,\u201dProceedings of the Second International Workshop on Types in Compilation (TIC 1998), pp. 135\u2013151, March 1998."},{"issue":"5","key":"BF03037258_CR11","first-page":"45","volume":"2","author":"Y. Futamura","year":"1971","unstructured":"Futamura, Y., \u201cPartial Evaluation of Computation Process \u2014 an Approach to a Compiler-compiler,\u201dSystems, Computers, Controls, 2, 5, pp. 45\u201350, 1971, reprinted asHigher-Order and Symbolic Computation, 12, 4, pp. 381\u2013391, Kluwer Academic Publishers, December 1999.","journal-title":"Systems, Computers, Controls"},{"issue":"2","key":"BF03037258_CR12","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\u00f8rgensen, J., \u201cAn Automatic Program Generator for Multi-Level Specialization,\u201dLisp and Symbolic Computation, 10, 2, pp. 113\u2013158, Kluwer Academic Publishers, July 1997.","journal-title":"Lisp and Symbolic Computation"},{"key":"BF03037258_CR13","doi-asserted-by":"crossref","unstructured":"Hatcliff, J., \u201cAn Introduction to Online and Offline Partial Evaluation Using a Simple Flowchart Language,\u201d inPartial Evaluation, Practice and Theory (LNCS 1706) (J. Hatcliff, T. \u00c6. Mogensen, and P. Thiemann eds.), pp. 20\u201382, 1999.","DOI":"10.1007\/3-540-47018-2_2"},{"key":"BF03037258_CR14","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1007\/3540543961_22","volume-title":"Functional Programming Languages and Computer Architecture","author":"Fritz Henglein","year":"1991","unstructured":"Henglein, F., \u201cEfficient Type Inference for Higher-Order Binding-Time Analysis,\u201d inFunctional Programming Languages and Computer Architecture (LNCS 523) (J. Hughes, ed.), pp. 448\u2013472, August 1991."},{"key":"BF03037258_CR15","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/BFb0032749","volume-title":"Static Analysis","author":"Luke Hornof","year":"1997","unstructured":"Hornof, L., Consel, C. and Noy\u00e9, J., \u201cEffective Specialization of Realistic Programs via Use Sensitivity,\u201d inStatic Analysis (LNCS 1302) (van Hentenryck P., ed.), pp. 63\u201373, 1997."},{"key":"BF03037258_CR16","volume-title":"Partial Evaluation and Automatic Program Generation","author":"N. D. Jones","year":"1993","unstructured":"Jones, N. D., Gomard, C. K. and Sestoft, P.,Partial Evaluation and Automatic Program Generation, Prentice-Hall, New York, 1993."},{"key":"BF03037258_CR17","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":"BF03037258_CR18","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/3-540-61580-6_23","volume-title":"Partial Evaluation","author":"Michael Sperber","year":"1996","unstructured":"Sperber, M., \u201cSelf-applicable Online Partial Evaluation,\u201d inPartial Evaluation (LNCS 1110) (O. Danvy, R. Gl\u00fcck, and P. Thiemann eds.), pp. 465\u2013480, February 1996."},{"issue":"5","key":"BF03037258_CR19","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1145\/258916.258935","volume":"32","author":"Michael Sperber","year":"1997","unstructured":"Sperber, M. and Thiemann, P., \u201cTwO For The Price of One: Composing Partial Evaluation and Compilation,\u201d inProc. of the ACM SIGPLAN \u201997 Conference on Programming Language Design and Implementation (PLDI), SIGPLAN Notices,32, 5, pp. 215\u2013225, June 1997.","journal-title":"ACM SIGPLAN Notices"},{"key":"BF03037258_CR20","doi-asserted-by":"crossref","unstructured":"Tarjan, R.,Data Structures and Network Flow Algorithms, VolumeCMBS 44 ofRegional Conference Series in Applied Mathematics, SIAM, 1983.","DOI":"10.1137\/1.9781611970265"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037258.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037258\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037258","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037258.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T00:52:32Z","timestamp":1558572752000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037258"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,3]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2002,3]]}},"alternative-id":["BF03037258"],"URL":"https:\/\/doi.org\/10.1007\/bf03037258","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,3]]}}}