Accessing the effects of flow-sensitivity on pointer alias analyses (1998)

by Michael Hind, Anthony Pioli
Venue:Lecture Notes in Computer Science