Fast and accurate flow-insensitive points-to analysis (1997)

by M SHAPIRO, S HORWITZ
Venue:In Conference Record of the Twentyfourth Annual ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages