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

by Robert O'Callahan