Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects (1993)

by Jong-Deok Choi, Michael Burke, Paul Carini
Venue:Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages