Disambiguating heap references (1994)

by R Ghiya