Generalized Aliasing as a Basis for Program Analysis Tools (2000)

by R O’Callahan