{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:43:38Z","timestamp":1780994618319,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540672623","type":"print"},{"value":"9783540464259","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46425-5_4","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T22:00:14Z","timestamp":1185919214000},"page":"56-71","source":"Crossref","is-referenced-by-count":26,"title":["Flow-Directed Closure Conversion for Typed Languages"],"prefix":"10.1007","author":[{"given":"Henry","family":"Cejtin","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Suresh","family":"Jagannathan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stephen","family":"Weeks","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2000,5,12]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Andrew W. Appel. Compiling with Continuations. Cambridge University Press, 1992.","DOI":"10.1017\/CBO9780511609619"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"J. Michael Ashley. A practical and flexible flow analysis for higher-order languages. In ACM Symposium on Principles of Programming Languages, pages 195\u2013207, January 1996.","DOI":"10.1145\/237721.237773"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Jeffrey M. Bell, Fran\u00e7oise Bellegarde, and James Hook. Type-driven defunctionalization. In Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming, pages 25\u201337, Amsterdam, The Netherlands, 9\u201311 June 1997.","DOI":"10.1145\/258949.258953"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Greg Defouw, David Grove, and Craig Chambers. Fast interprocedural class analysis. In ACM Symposium on Principles of Programming Languages, pages 222\u2013236, January 1998.","DOI":"10.1145\/268946.268965"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Allyn Dimock, Robert Muller, Franklyn Turback, and J.B. Wells. Strongly-typed flow-directed representation transformations. In International Conference on Functional Programming, June 1997.","DOI":"10.1145\/258948.258952"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Matrin Elsman. Static interpretation of modules. In International Conference on Functional Programming, September 1999.","DOI":"10.1145\/317636.317800"},{"key":"4_CR7","unstructured":"Marc Feeley, James Miller, Guillermo Rozas, and Jason Wilson. Compiling higher-order languages into fully tail-recursive portable c. Technical Report Technical Report 1078, Department of Computer Science, University of Montreal, 1997."},{"issue":"2","key":"4_CR8","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1145\/169701.169696","volume":"15","author":"R. Harper","year":"1993","unstructured":"Robert Harper and John C. Mitchell. On the type structure of Standard ML. ACM Transactions on Programming Languages and Systems, 15(2):211\u2013252, April 1993.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Nevin Heintze. Set-based analysis of ML programs. In ACM Conference on LISP and Functional Programming, pages 306\u2013317, 1994.","DOI":"10.1145\/182409.182495"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Nevin Heintze and David A. McAllester. Linear-time subtransitive control flow analysis. In Proceedings of the ACM SIGPLAN\u201997 Conference on Programming Language Design and Implementation (PLDI), pages 261\u2013272, Las Vegas, Nevada, 15\u201318 June 1997. SIGPLAN Notices 32(5), May 1997.","DOI":"10.1145\/258916.258939"},{"key":"4_CR11","unstructured":"Fritz Henglein. Simple closure analysis. Technical Report D-193, Department of Computer Science, University of Copenhagen, March 1992."},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Suresh Jagannathan, Stephen T. Weeks, and Andrew K. Wright. Type-directed flow analysis for typed intermediate languages. In International Static Analysis Symposium, September 1997.","DOI":"10.1007\/BFb0032745"},{"key":"4_CR13","unstructured":"Neil D. Jones and Stephen S. Muchnick. Flow Analysis and Optimization of LISP-like Structures, chapter 4, pages 102\u2013131. Prentice-Hall, 1981."},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Simon L. Peyton Jones, John Launchbury, Mark Shields, and Andrew Tolmach. Bridging the gulf: a common intermediate language for ML and Haskell. In ACM Symposium on Principles of Programming Languages, pages 49\u201351, January 1998.","DOI":"10.1145\/268946.268951"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Robin Milner, Mads Tofte, Robert Harper, and David B. Macqueen. The Definition of Standard ML (Revised). MIT Press, 1997.","DOI":"10.7551\/mitpress\/2319.001.0001"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Yasuhiko Minamide, J. Gregory Morrisett, and Robert Harper. Typed closure conversion. In ACM Symposium on Principles of Programming Languages, pages 271\u2013283, St. Petersburg, FL, January 1996.","DOI":"10.1145\/237721.237791"},{"issue":"1","key":"4_CR17","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1145\/200994.201001","volume":"17","author":"J. Palsberg","year":"1995","unstructured":"Jens Palsberg. Closure analysis in constraint form. ACM Transactions on Programming Languages and Systems, 17(1):47\u201362, January 1995.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"4","key":"4_CR18","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/210184.210187","volume":"17","author":"J. Palsberg","year":"1995","unstructured":"Jens Palsberg and Patrick O\u2019Keefe. A type system equivalent to flow analysis. ACM Transactions on Programming Languages and Systems, 17(4):576\u2013599, July 1995. Preliminary version in Principles of Programming Languages, pages 367\u2013378, January 1995.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"John C. Reynolds. Definitional interpreters for higher-order programming languages. In ACM Annual Conference, pages 717\u2013740, 1972.","DOI":"10.1145\/800194.805852"},{"key":"4_CR20","unstructured":"Manuel Serrano and Pierre Weis. 1 + 1 = 1: an optimizing Caml compiler. In Workshop on ML and its applications, Orlando, Florida, June 1994. ACM SIG-PLAN. Also appears as INRIA RR-2301."},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Zhong Shao and Andrew W. Appel. Space-efficient closure representations. In ACM Conference on LISP and Functional Programming, pages 150\u2013161, Orlando, FL, Jun 1994.","DOI":"10.1145\/182409.156783"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"David Tarditi, Anurag Acharya, and Peter Lee. No assembly required: Compiling Standard ML to C. ACM Letters on Programming Languages and Systems, June 1992. Appears as CMU-CS-90-187.","DOI":"10.1145\/151333.151343"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"David Tarditi, J. Gregory Morrisett, Perry Cheng, Chris Stone, Robert Harper, and Peter Lee. TIL: A type-directed optimizing compiler for ML. In ACM Conference on Programming Language Design and Implementation, May 1996.","DOI":"10.21236\/ADA306265"},{"issue":"4","key":"4_CR24","doi-asserted-by":"publisher","first-page":"724","DOI":"10.1145\/291891.291894","volume":"20","author":"M. Tofte","year":"1998","unstructured":"Mads Tofte and Lars Birkedal. A region inference algorithm. Transactions on Programming Languages and Systems, 20(4):724\u2013767, 1998.","journal-title":"Transactions on Programming Languages and Systems"},{"key":"4_CR25","unstructured":"Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg, Tommy Olesen, Peter Sestoft, and Peter Bertelsen. Programming with regions in the ML Kit. Technical Report Technical Report DIKU-TR-97\/12, Department of Computer Science, University of Copenhagen, 1997."},{"issue":"4","key":"4_CR26","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1017\/S0956796898003086","volume":"8","author":"A. Tolmach","year":"1998","unstructured":"Andrew Tolmach and Dino Oliva. From ML to Ada: Strongly-typed language interoperability via source translation. Journal of Functional Programming, 8(4):367\u2013412, July 1998.","journal-title":"Journal of Functional Programming"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46425-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T12:29:17Z","timestamp":1556713757000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46425-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672623","9783540464259"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-46425-5_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2000]]}}}