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

by J-D Choi, M Burke, P Carini
Venue:In Conference record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages