; 2; 1; School of Computing, University of Leeds, UK; 2; Dipartimento di Informatica, Verona
SVM HeaderParse 0.2
SVM HeaderParse 0.1
Escape analysis of object-oriented languages allows us to stack allocate dynamically created objects and to reduce the overhead of synchronisation in Java-like languages. We formalise the escape property E , computed by an escape analysis, as an abstract interpretation of concrete states. We de ne the optimal abstract operations induced by E for a framework of analysis known as watchpoint semantics. The implementation of E inside that framework is a formally correct abstract semantics (analyser) for escape analysis. We claim that E is the basis for more re ned and precise domains for escape analysis.