Ecient interprocedural computation of pointerinduced aliases and side eects (1993)

by J Choi, M Burke, P Carini
Venue:In ConferenceRecordof the Twentieth Annual Symposium on Principles of Programming Languages