{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T10:46:20Z","timestamp":1770288380701,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540672630","type":"print"},{"value":"9783540464235","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46423-9_6","type":"book-chapter","created":{"date-parts":[[2007,10,25]],"date-time":"2007-10-25T19:48:40Z","timestamp":1193341720000},"page":"82-93","source":"Crossref","is-referenced-by-count":24,"title":["Fast Escape Analysis and Stack Allocation for Object-Based Programs"],"prefix":"10.1007","author":[{"given":"David","family":"Gay","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bjarne","family":"Steensgaard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"issue":"7","key":"6_CR1","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1145\/359636.359713","volume":"20","author":"J. M. Barth","year":"1977","unstructured":"Jeffrey M. Barth. Shifting garbage collection overhead to compile time. Communications of the ACM, 20(7):513\u2013518, July 1977. 90","journal-title":"Communications of the ACM"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Jeff Bogda and Urs H\u00f6lzle. Removing Unnecessary Synchronization in Java. In Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA\u2019 99), pages 35\u201346. ACM Press, October 1999. 90","DOI":"10.1145\/320384.320388"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Bruno Blanchet. Escape Analysis for Object-Oriented Languages: Application to Java. In Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA\u2019 99), pages 20\u201334. ACM Press, October 1999. 90","DOI":"10.1145\/320385.320387"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Bruno Blanchet. Escape analysis: Correctness proof, implementation and experimental results. In Conference Record of POPL\u2019 98: The 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 25\u201337, San Diego, California, January 98. 90","DOI":"10.1145\/268946.268949"},{"key":"6_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/3-540-57529-4_42","volume-title":"Proceedings of Foundations of Software Technology and Theoretical Computer Science","author":"E. Barendsen","year":"1993","unstructured":"E. Barendsen and S. Smetsers. Conventional and uniqueness typing in graph rewrite systems. In Rudrapatna K. Shyamasundar, editor, Proceedings of Foundations of Software Technology and Theoretical Computer Science, volume 761 of LNCS, pages 41\u201351, Bombay, India, December 1993. Springer-Verlag. 90"},{"key":"6_CR6","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1145\/236337.236371","volume":"31","author":"D. F. Bacon","year":"1996","unstructured":"David F. Bacon and Peter F. Sweeney. Fast static analysis of C++ virtual function calls. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, volume 31, 10 of ACM SIGPLAN Notices, pages 324\u2013341, New York, October6\u201310 1996. ACM Press. 85","journal-title":"Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications"},{"issue":"4","key":"6_CR7","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"C. Cytron","year":"1991","unstructured":"[CFR+91]_Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, and F. Kenneth Zadeck. Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, 13(4):451\u2013490, October 1991. 83","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"[CGS+99]_Jong-Deok Choi, M. Gupta, Mauricio Serrano, Vugranam C Shreedhar, and Sam Midkiff. Escape Analysis for Java. In Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA\u201999), pages 1\u201319. ACM Press, October 1999. 90","DOI":"10.1145\/320384.320386"},{"issue":"6","key":"6_CR9","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1145\/93548.93585","volume":"25","author":"D. R. Chase","year":"1990","unstructured":"David R. Chase, Mark Wegman, and F. Kenneth Zadeck. Analysis of pointers and structures. ACM SIGPLAN Notices, 25(6):296\u2013310, June 1990. 90","journal-title":"ACM SIGPLAN Notices"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Julian Dolby and Andrew A. Chien. An Evaluation of Automatic Object Inline Allocation Techniques. In Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA\u201998), pages 1\u201320. ACM Press, October 1998. 91","DOI":"10.1145\/286936.286943"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Alan Deutsch. On determining lifetime and aliasing of dynamically allocated data in higher-order functional specifications. In ACM-SIGPLAN ACM-SIGACT, editor, Conference Record of the 17th Annual ACM Symposium on Principles of Programming Languages (POPL\u2019 90), pages 157\u2013168, San Francisco, CA, USA, January 1990. ACM Press. 90","DOI":"10.1145\/96709.96725"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Alain Deutsch. On the complexity of escape analysis. In Conference Record of POPL\u2019 97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 358\u2013371, Paris, France, January 97. 90","DOI":"10.1145\/263699.263750"},{"key":"6_CR13","unstructured":"[FKR+99]_Robert Fitzgerald, Todd B. Knoblock, Erik Ruf, Bjarne Steensgaard, and David Tarditi. Marmot: An optimizing compiler for Java. Technical Report MSR-TR-99-33, Microsoft Research, June 1999. Accepted for publication in Software \u2014 Practice & Experience. 89"},{"key":"6_CR14","series-title":"Lect Notes Comput Sci","volume-title":"Record of the 1993 Conference on Functional Programming and Computer Architecture","author":"J. Hicks","year":"1993","unstructured":"James Hicks. Experiences with compiler-directed storage reclamation. In R. John M. Hughes, editor, Record of the 1993 Conference on Functional Programming and Computer Architecture, volume 523 of Lecture Notes in Computer Science, Copenhagen, June 1993. Springer-Verlag. 90"},{"issue":"4","key":"6_CR15","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1093\/logcom\/2.4.483","volume":"2","author":"S. Hughes","year":"1992","unstructured":"Simon Hughes. Compile-time garbage collection for higher-order functional languages. Journal of Logic and Computation, 2(4):483\u2013509, August 1992. 90","journal-title":"Journal of Logic and Computation"},{"issue":"4","key":"6_CR16","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1145\/48022.48025","volume":"10","author":"K. Inoue","year":"1988","unstructured":"Katsuro Inoue, Hiroyuki Seki, and Hikaru Yagi. Analysis of functional programs to detect run-time garbage cells. ACM Transactions on Programming Languages and Systems, 10(4):555\u2013578, October 1988. 90","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"S. B. Jones and D. Le M\u00e9tayer. Compile-time garbage collection by sharing analysis. In Proceedings of the Conference on Functional Programming Languages and Computer Architecture\u2019 89, Imperial College, London, pages 54\u201374, New York, NY, 1989. ACM. 90","DOI":"10.1145\/99370.99375"},{"key":"6_CR18","first-page":"102","volume-title":"Program Flow Analysis: Theory and Applications","author":"N. D. Jones","year":"1981","unstructured":"Neil D. Jones and Steven S. Muchnick. Flow analysis and optimization of Lisp-like structures. In Steven S. Muchnick and Neil D. Jones, editors, Program Flow Analysis: Theory and Applications, pages 102\u2013131. Englewood Cliffs, N.J.: Prentice-Hall, 1981. 90"},{"key":"6_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/3-540-52592-0_66","volume-title":"ESOP\u201990 3rd European Symposium on Programming, Copenhagen, Denmark, May 1990","author":"T. P. Jensen","year":"1990","unstructured":"Thomas P. Jensen and Torben Mogensen. A backwards analysis for compile-time garbage collection. In Neil D. Jones, editor, ESOP\u201990 3rd European Symposium on Programming, Copenhagen, Denmark, May 1990. (Lecture Notes in Computer Science, vol. 432), pages 227\u2013239. Springer-Verlag, 1990. 90"},{"key":"6_CR20","unstructured":"Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison-Wesley, second edition edition, 1999. 83"},{"key":"6_CR21","series-title":"Technical Report","volume-title":"Efficient compile-time garbage collection for arbitrary data structures","author":"M. Mohnen","year":"1995","unstructured":"Markus Mohnen. Efficient compile-time garbage collection for arbitrary data structures. Technical Report 95-08, RWTH Aachen, Department of Computer Science, 1995. 90"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Young Gil Park and Benjamin Goldberg. Escape analysis on lists. In Proceedings of the ACM SIGPLAN\u201992 Conference on Programming Language Design and Implementation (PLDI), pages 116\u2013127, 1992. 90","DOI":"10.1145\/143095.143125"},{"issue":"2\u20133","key":"6_CR23","first-page":"191","volume":"35","author":"J. Rehof","year":"1998","unstructured":"Jakob Rehof and Torben \u00c6. Mogensen. Tractable constraints in finite semilattices. Science of Computer Programming, 35(2\u20133):191\u2013221, 1998. 91","journal-title":"Science of Computer Programming"},{"issue":"2","key":"6_CR24","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/0096-0551(75)90015-6","volume":"1","author":"J.T. Schwartz","year":"1975","unstructured":"J.T. Schwartz. Optimization of very high level languages-I. Value transmission and its corollaries. Computer Languages, 1(2):161\u2013194, 1975. 90","journal-title":"Computer Languages"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Manuel Serrano and Marc Feeley. Storage use analysis and its applications. In Proceedings of the 1st International Conference on Functional Programming, June 1996. 90","DOI":"10.1145\/232627.232635"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Bjarne Steensgaard. Points-to analysis in almost linear time. In Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 32\u201341, St. Petersburg, Florida, January 1996. 91","DOI":"10.1145\/237721.237727"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Jan Vitek, R. Nigel Horspool, and James Uhl. Compile-time analysis of object-oriented programs. In Proceedings of the 4th Int. Conf. on Compiler Construction, CC\u201992, Paderborn, Germany, 1992. Springer-Verlag. 90","DOI":"10.1007\/3-540-55984-1_22"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"John Whaley and Martin Rinard. Compositional Pointer and Escape Analysis for Java Programs. In Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA\u201999), pages 187\u2013206. ACM Press, October 1999. 90","DOI":"10.1145\/320384.320400"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46423-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T22:28:05Z","timestamp":1737498485000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46423-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672630","9783540464235"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-46423-9_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2000]]}}}