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

245 Fast static analysis of C++ virtual function calls – David F Bacon, Peter F Sweeney
222 Object-Oriented Type Inference – Jens Palsberg, Michael I. Schwartzbach - 1991
1878 Abstract Interpretation: a Unified Lattice Model for Static – P Cousot, R Cousot
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
2927 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
103 A relational framework for abstract interpretation – A Mycroft, N Jones - 1985
12 Class analyses as abstract interpretations of trace semantics – F Spoto, T Jensen
40 Fast Escape Analysis and Stack Allocation for Object-Based Programs – David Gay, Bjarne Steensgaard - 2000
32 The quotient of an abstract interpretation – A Cortesi, G Filé, W H Winsborough - 1998
57 Escape Analysis on Lists – Young Gil Park, Benjamin Goldberg - 1992
1 Effective Java Programming Language Guide – In - 2001
6 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