CC
2007
Springer
13 years 10 months ago
2007
Springer
We present a unification-based, context-sensitive escape and effect analysis that infers lightweight method summaries describing heap effects. The analysis is parameterized on two...