S.: Fast and Accurate Flow-Insensitive Points-To Analysis (1997)

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