Region-based shape analysis with tracked locations (2005)

by B Hackett, R Rugina
Venue:In ACM SIGPLAN Symp. on Principles of Programming Languages (POPL