Ecient interprocedural computation of pointer-induced aliases and side eects (1993)

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