Deriving Escape Analysis by Abstract Interpretation: Proofs of results

Patricia M. Hill Fausto Spoto

Published in: CoRR (2006)

Keyphrases

abstract interpretation
relational databases
object oriented
distributed systems
fine grained