Analysis of pointers and structures (1990)

by D R Chase, M Wegman, F K Zadeck
Venue:Proceedings of the ACM SIGPLAN 90 Conference on Programming Language Design and Implementation