Analysis of pointers and structures (1990)

by D R Chase, M Wegman, F K Zadeck
Venue:In Proceedings of the ACM SIGPLAN