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

by R W O’Callahan