Fast and accurate points-to analysis (1997)

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