Region-based shape analysis with tracked locations (0)

by B Hackett, R Rugina
Venue:In POPL: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages