TY  - RPRT
TI  - Deriving Escape Analysis by Abstract Interpretation: Proofs of results
AU  - Patricia M. Hill
AU  - Fausto Spoto
PY  - 2006
UR  - https://arxiv.org/abs/cs/0607101
ID  - cs/0607101
ER  -