E cient ow-sensitive interprocedural computation of pointer-induced aliases and side e ects (1993)

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