Modular shape analysis for dynamically encapsulated programs (2007)

by N Rinetzky, A Poetzsch-Heffter, G Ramalingam, M Sagiv, E Yahav
Venue:In ESOP