Zadeck. Analysis of pointers and structures (1990)

by David R Chase, Mark Wegman, F Kenneth
Venue:In SIGPLAN '90 Conference on Programming Language Design and Implementation. Association for Computing Machinery