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

by E-
Venue:In Conference Record of the Twentieth Annual ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages