Fast and accurate points-to analysis (1997)

by M Shapiro, S Horwitz
Venue:In 24th SIGACTSIGPLAN ACM Symposium on the Principles of Programming Languages