Region-based shape analysis with tracked locations (2005)

by B Hackett, R Rugina
Venue:In Proceedings of the 32th Annual ACM Symposium on the Principles of Programming Languages