; 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 determines, for every program point, the escape property E i.e., the set of the creation points of the objects reachable from some variables. An approximation of E is useful to stack allocate dynamically created objects and to reduce the overhead of synchronisation in Java-like languages. E can itself be used for escape analysis, but it is very imprecise. We de ne here a re nement ER of E , in the sense that ER is more concrete than E and, hence, leads to a more precise escape analysis than E .