Fast and Accurate Flow-Insensitive Points-To Analysis.

Marc Shapiro, Susan Horwitz

Browse the full POPL paper archive.