Escape Analysis for Object Oriented Languages. Application to Java (1999)

by Bruno Blanchet
Venue:IN PROCEEDINGS OF THE 14TH ANNUAL CONFERENCE ON OBJECT-ORIENTED PROGRAMMING SYSTEMS, LANGUAGES AND APPLICATIONS
Citations:92 - 1 self

Active Bibliography

24 Escape Analysis for Java. Theory and Practice – Bruno Blanchet - 2003
Compositional Pointer and Escape . . . – John Whaley, et al.
5 Compositional Pointer and Escape Analysis for Multithreaded Java Programs – Martin Rinard, John Whaley - 1999
231 Compositional Pointer and Escape Analysis for Java Programs – John Whaley, Martin Rinard - 1999
40 Fast Escape Analysis and Stack Allocation for Object-Based Programs – David Gay, Bjarne Steensgaard - 2000
28 Stack allocation and synchronization optimizations for java using escape analysis – Jong-deok Choi, Manish Gupta, Mauricio J. Serrano, Vugranam C, Samuel P. Midkiff - 2003
3 Message analysis for concurrent languages – Richard Carlsson, Konstantinos Sagonas, Jesper Wilhelmsson - 2003
klu9.clo Kluwer Academic Publishers – unknown authors - 2006
1 Semantic Analyses for Storage Management Optimizations in Functional Language Implementations – Young Gil Park, Benjamin Goldberg, Grace Sunjung, Jihwa Park - 1991
93 Putting Pointer Analysis to Work – Rakesh Ghiya, Laurie J. Hendren - 1998
5 Dependence-Based Representations for Programs with Reference Variables – Phillip E. Pfeiffer, IV, Phillip E - 1991
262 Escape analysis for Java – Jong-deok Choi, Mannish Gupta, Mauricio Serrano, Vugranam C. Sreedhar, Sam Midkiff - 1999
5 A Foundation of Escape Analysis – Patricia M. Hill, Fausto Spoto - 2002
4 A Refinement of the Escape Property – Patricia M. Hill, Fausto Spoto - 2002
4 Message analysis for concurrent programs using message passing – Richard Carlsson, Konstantinos Sagonas, Jesper Wilhelmsson - 2006
12 Omen: A strategy for testing object-oriented software – Amie L. Souter - 2000
2 M.: Efficiently verifiable escape analysis – Matthew Q. Beers, Christian H. Stork, Michael Franz
Abstract Interpretation and Low-Level Code Optimization – Saumya Debray - 1995
3 A posteriori soundness for non-deterministic abstract interpretations – Matthew Might, Panagiotis Manolios