Patricia M. Hill Fausto Spoto Deriving Escape Analysis by Abstract Interpretation: Proofs of results http://arxiv.org/abs/cs/0607101 2006 CoRR abs/cs/0607101 db/journals/corr/corr0607.html#abs-cs-0607101 informal publication