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

by Marc Shapiro, Susan Horwitz
Venue:In POPL