A Foundation of Escape Analysis (2002)

Cached

Download Links

by Patricia M. Hill , Fausto Spoto
Venue:Proc. of AMAST'02
Citations:5 - 2 self

Documents Related by Co-Citation

244 Fast static analysis of C++ virtual function calls – D BACON, P SWEENEY - 1996
221 Object-Oriented Type Inference – Jens Palsberg, Michael I. Schwartzbach - 1991
1880 Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints – P Cousot, R Cousot - 1977
60 Lifetime analysis of dynamically allocated objects – C Ruggieri, T P Murtagh - 1988
2 The LOOP Analyser. www.sci.univr.it/#spoto/loop – F Spoto - 2002
8 Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses – Fausto Spoto - 2001
2930 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
4 A Refinement of the Escape Property – Patricia M. Hill, Fausto Spoto - 2002
37 On the complexity of escape analysis – A Deutsch - 1997
61 Escape Analysis: Correctness Proof, Implementation and Experimental Results – Bruno Blanchet - 1998
40 Fast Escape Analysis and Stack Allocation for Object-Based Programs – David Gay, Bjarne Steensgaard - 2000
101 A relational framework for abstract interpretation – A Mycroft, N Jones - 1985
12 Class analyses as abstract interpretations of trace semantics – F Spoto, T P Jensen
33 The quotient of an abstract interpretation – A Cortesi, G Filé, W Winsborough - 1998
58 Escape Analysis on Lists – Young Gil Park, Benjamin Goldberg - 1992
1 Effective Java Programming Language Guide – In - 2001
5 Programming With Private State – Kamal Aboul-hosn - 2001
3 Simple and Eective Analysis of Statically Typed Object-Oriented Programs – A Diwan, J E B Moss, K S McKinley - 1996
3 A New Class of Function for Abstract Interpretation – Jörg Köller, Markus Mohnen - 1999