{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:24Z","timestamp":1751983644268},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540603597"},{"type":"electronic","value":"9783540450481"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0026827","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:29:45Z","timestamp":1132396185000},"page":"299-320","source":"Crossref","is-referenced-by-count":2,"title":["A semantic model of binding times for safe partial evaluation"],"prefix":"10.1007","author":[{"given":"Fritz","family":"Henglein","sequence":"first","affiliation":[]},{"given":"David","family":"Sands","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,16]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"T. Amtoft. Minimal thunkification. In Proceedings of the 3rd International Symposium on Static Analysis, number 724 in LNCS. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57264-3_43"},{"volume-title":"Partial Evaluation and Mixed Computation. Proceedings of the IFIP TC2 Workshop","year":"1988","key":"19_CR2","unstructured":"D. Bj\u00f8rner, Ershov, and N. D. Jones, editors. Partial Evaluation and Mixed Computation. Proceedings of the IFIP TC2 Workshop, Gammel Avern\u00e6s, Denmark, October 1987. North-Holland, 1988. 625 pages."},{"key":"19_CR3","unstructured":"Anders Bondorf, Neil D. Jones, Torben Mogensen, and Peter Sestoft. Binding time analysis and the taming of self-application. Draft, 18 pages, DIKU, University of Copenhagen, August 1988."},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Anders Bondorf. Automatic autoprojection of higher order recursive equations. Science of Computer Programming, 17(1\u20133):3-34, December 1991. Selected papers of ESOP '90, the 3rd European Symposium on Programming.","DOI":"10.1016\/0167-6423(91)90035-V"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Anders Bondorf. Improving binding times without explicit cps-conversion. In 1992 ACM Conference on Lisp and Functional Programming. San Francisco, California, pages 1\u201310, June 1992.","DOI":"10.1145\/141471.141483"},{"key":"19_CR6","first-page":"59","volume-title":"Extracting polyvariant binding time analysis from polyvariant specializer","author":"M. Bulyonkov","year":"1993","unstructured":"Mikhail Bulyonkov. Extracting polyvariant binding time analysis from polyvariant specializer. In Proc. ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation (PEPM), Copenhagen, Denmark, pages 59\u201365. ACM, ACM Press, June 1993."},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In ACM 5th Symposium on Principles of Programming Languages, 1979.","DOI":"10.1145\/567752.567778"},{"key":"19_CR8","first-page":"95","volume-title":"Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and PER analysis of functional languages)","author":"P. Cousot","year":"1994","unstructured":"P. Cousot and R. Cousot. Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and PER analysis of functional languages). In Proc. 1994 Int'l Conf. on Computer Languages, Toulouse, France, pages 95\u2013112. IEEE Computer Society Press, May 1994."},{"key":"19_CR9","first-page":"496","volume-title":"number 523 in Lecture Notes in Computer Science","author":"C. Consel","year":"1991","unstructured":"C. Consel and O. Danvy. For a better support of static data flow. In J. Hughes, editor, Proc. 5th ACM Conf. on Functional Programming Languages and Computer Architecture (FPCA), Cambridge, Massachusetts, number 523 in Lecture Notes in Computer Science, pages 496\u2013519. Springer-Verlag, Aug. 1991."},{"key":"19_CR10","unstructured":"Charles Consel, Pierre Jouvelot, and Peter \u00d8rb\u00e6k. Separate polyvariant binding time reconstruction. CRI Report A\/261, Ecole des Mines, Oct. 1994."},{"key":"19_CR11","unstructured":"Charles Consel and Siau Cheng Khoo. On-line & off-line partial evaluation: Semantic specifications and correctness proofs. Technical Report YALEU\/DCS\/RR-912, Yale University Department of Computer Science, June 1992."},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Charles Consel. Polyvariant binding-time analysis for applicative languages. In Proc. Symp. on Partial Evaluation and Semantics-Based Program Manipulation (PEPM), Copenhagen, Denmark, pages 66\u201377, June 1993.","DOI":"10.1145\/154630.154638"},{"key":"19_CR13","unstructured":"K. Davis. Pers from projections for binding-time analysis. In Proceedings of the ACM Workshop on Partial Evaluation and Semantics-Based Program Manipulation, 1994. (Proceedings available as Tech Report 94\/9, University of Melbourne)."},{"key":"19_CR14","volume-title":"number 510 in Lecture Notes in Computer Science","author":"C. Ernoult","year":"1991","unstructured":"C. Ernoult and A. Mycroft. Uniform ideals and strictness analysis. In Proc. 18th Int'l Coll. on Automata, Languages and Programming (ICALP), Madrid, Spain, number 510 in Lecture Notes in Computer Science. Springer-Verlag, 1991."},{"issue":"1","key":"19_CR15","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1017\/S0956796800000058","volume":"1","author":"C. Gomard","year":"1991","unstructured":"C. Gomard and N. Jones. A partial evaluator for the untyped lambda calculus. J. Functional Programming, 1(1):21\u201369, 1991.","journal-title":"J. Functional Programming"},{"issue":"2","key":"19_CR16","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1145\/128861.128864","volume":"14","author":"C. Gomard","year":"1992","unstructured":"C. Gomard. A self-applicable partial evaluator for the lambda calculus: Correctness and pragmatics. ACM Transactions on Programming Languages and Systems, 14(2):147\u2013172, 1992.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"19_CR17","unstructured":"Marc Gengler and Bernhard Rytz. A polyvariant binding time analysis handling partially known values. In Proc. Workshop on Static Analysis (WSA), Bordeaux, France, pages 322\u2013330, Sept. 1992."},{"key":"19_CR18","unstructured":"Carl Gunter. Semantics of Programming Languages \u2014 Structures and Techniques. Foundations of Computing. MIT Press, 1992."},{"key":"19_CR19","unstructured":"J. Hatcliff. A mechanised proof of correctness of off-line partial evaluation. In These proceedings, 1995."},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"Fritz Henglein and Christian Mossin. Polymorphic binding-time analysis. In Donald Sannella, editor, Proceedings of European Symposium on Programming, volume 788 of Lecture Notes in Computer Science, pages 287\u2013301. Springer-Verlag, April 1994.","DOI":"10.1007\/3-540-57880-3_19"},{"issue":"9","key":"19_CR21","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1145\/115866.115881","volume":"26","author":"S. Hunt","year":"1991","unstructured":"S. Hunt and D. Sands. Binding Time Analysis: A New PERspective. In Proceedings of the ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'91), pages 154\u2013164, September 1991. ACM SIGPLAN Notices 26(9).","journal-title":"ACM SIGPLAN Notices"},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"S. Hunt. PERs generalise projections for strictness analysis. In Proceedings of the Third Glasgow Functional Programming Workshop, Ullapool, 1990. Springer Workshops Series.","DOI":"10.1007\/978-1-4471-3810-5_10"},{"key":"19_CR23","unstructured":"T. Jensen. Abstract interpretation in logical form. PhD thesis, Department of Computing, Imperial College, November 1992. (Available as DIKU tec. report 93\/11)."},{"key":"19_CR24","volume-title":"Partial Evaluation and Mixed Computation. Proceedings of the IFIP TC2 Workshop","author":"N.D. Jones","year":"1988","unstructured":"N.D. Jones. Automatic program specialization: A re-examination from basic principles. In [BEJ88],, 1988."},{"key":"19_CR25","volume-title":"Partial Evaluation and Mixed Computation. Proceedings of the IFIP TC2 Workshop","author":"J. Launchbury","year":"1988","unstructured":"J. Launchbury. Projections for specialisation. In [BEJ88], 1988."},{"key":"19_CR26","unstructured":"J. Launchbury. Projection Factorisations in Partial Evaluation. PhD thesis, Department of Computing, University of Glasgow, 1989."},{"key":"19_CR27","volume-title":"Partial Evaluation and Mixed Computation. Proceedings of the IFIP TC2 Workshop","author":"T. Mogensen","year":"1988","unstructured":"T. Mogensen. Partially static structures in a self-applicable partial evaluator. In [BEJ88], 1988."},{"key":"19_CR28","doi-asserted-by":"crossref","unstructured":"T. Mogensen. Binding time analysis for polymorphically typed higher order languages. In J. Diaz and F. Orejas, editors, TAPSOFT '89 (LNCS 352), pages 298\u2013312. Springer-Verlag, 1989.","DOI":"10.1007\/3-540-50940-2_43"},{"key":"19_CR29","unstructured":"Torben \u00c6. Mogensen. Self-applicable partial evaluation for pure lambda calculus. In Charles Consel, editor, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, pages 116\u2013121. ACM, Yale University, 1992."},{"key":"19_CR30","doi-asserted-by":"crossref","unstructured":"A. De Niel, E. Bevers, and K. De Vlamnick. Program bifurcation for polymorphically typed functional languages. In Proceedings of the ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'91), September 1991. ACM SIGPLAN Notices 26(9).","DOI":"10.1145\/115865.115880"},{"issue":"3","key":"19_CR31","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1145\/3916.3917","volume":"7","author":"F. Nielson","year":"1985","unstructured":"F. Nielson. Program transformation in a denotational setting. ACM Transactions on Programming Languages and Systems, 7(3):359\u2013379, 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"19_CR32","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1017\/S0956796800000770","volume":"3","author":"J. Palsberg","year":"1993","unstructured":"J. Palsberg. Correctness of binding time analysis. Journal of Functional Programming, 3(3):347\u2013363, 1993.","journal-title":"Journal of Functional Programming"},{"key":"19_CR33","series-title":"Tech Report NU-CCS-94-15","volume-title":"PhD thesis","author":"P. Steckler","year":"1994","unstructured":"P. Steckler. Correct Higher-Order Program Transformations. PhD thesis, College of Computer Science, Northeastern University, Boston, 1994. Tech Report NU-CCS-94-15."},{"key":"19_CR34","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:292\u2013325, July 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"19_CR35","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1017\/S0956796800000782","volume":"3","author":"M. Wand","year":"1993","unstructured":"Mitchell Wand. Specifying the correctness of binding-time analysis. Journal of Functional Programming, 3(3):365\u2013387, July 1993. preliminary version appeared in Conf. Rec. 20th ACM Symp. on Principles of Prog. Lang. (1993), 137\u2013143.","journal-title":"Journal of Functional Programming"}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026827","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:54:03Z","timestamp":1586570043000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026827"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540603597","9783540450481"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/bfb0026827","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}