Escape Analysis: Correctness Proof, Implementation and Experimental Results (1998)


Download Links

by Bruno Blanchet
Venue:In Conference Record of the 25th Annual ACM Symposium on Principles of Programming Languages
Citations:61 - 2 self

Active Bibliography

92 Escape Analysis for Object Oriented Languages. Application to Java – Bruno Blanchet - 1999
24 Escape Analysis for Java. Theory and Practice – Bruno Blanchet - 2003
40 Fast Escape Analysis and Stack Allocation for Object-Based Programs – David Gay, Bjarne Steensgaard - 2000
5 Dependence-Based Representations for Programs with Reference Variables – Phillip E. Pfeiffer, IV, Phillip E - 1991
1 Using Quasi Ordered Sets to Model Program Properties Denotationally – Markus Mohnen - 1997
1 Demand-Driven Type Analysis for Dynamically-Typed Functional Languages – Danny Dubé, En Informatique, Danny Dub, Gilles Brassard, Marc Feeley, Matthias Felleisen
280 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997
132 A Schema for Interprocedural Modification Side-Effect Analysis With Pointer Aliasing – Barbara G. Ryder, William A. Landi, Philip A. Stocks, Sean Zhang, Rita Altucher - 2001
1 Semantic Analyses for Storage Management Optimizations in Functional Language Implementations – Young Gil Park, Benjamin Goldberg, Grace Sunjung, Jihwa Park - 1991
25 Single and loving it: Must-alias analysis for higher-order languages – Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew Wright - 1998
92 Putting Pointer Analysis to Work – Rakesh Ghiya, Laurie J. Hendren - 1998
This reproduction is the best copy availablePUTTING POINTER ANALYSIS TO WORK by – Rakesh Ghiya - 1998
3 A New Class of Function for Abstract Interpretation – Jörg Köller, Markus Mohnen - 1999
7 Efficient Closure Utilisation by Higher-Order Inheritance Analysis – Markus Mohnen - 1995
13 Automatic accurate stack space and heap space analysis for high-level languages – Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu - 2000
Efficient Compile-Time Garbage Collection for Arbitrary Data Structures – Markus Mohnen Lehrstuhl, Markus Mohnen - 1995
Compiler-Cooperative Memory Management in Java (Extended Abstract) – Vitaly V. Mikheev, Stanislav A. Fedoseev
56 Interprocedural Aliasing In The Presence Of Pointers – William Alexander Landi - 1992
3 Message analysis for concurrent programs using message passing – Richard Carlsson, Konstantinos Sagonas, Jesper Wilhelmsson - 2006