A Foundation of Escape Analysis (2002)
Cached
Download Links
- [profs.sci.univr.it]
- [profs.sci.univr.it]
- DBLP
Other Repositories/Bibliography
| Venue: | Proc. of AMAST'02 |
| Citations: | 4 - 2 self |
BibTeX
@INPROCEEDINGS{Hill02afoundation,
author = {Patricia M. Hill and Fausto Spoto},
title = {A Foundation of Escape Analysis},
booktitle = {Proc. of AMAST'02},
year = {2002},
pages = {pages},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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.
