Fast and accurate flow-insensitive pointsto analysis (1997)

by M Shapiro, S Horwitz
Venue:In Conference Record of the Twenty-fourth Annual ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages