A safe approximate algorithm for interprocedural aliasing. (1992)

by W Landi, B G Ryder
Venue:ACM SIGPLAN Notices,