Flow-insensitive interprocedural alias analysis in the presence of pointers (1995)

by Michael G Burke, Paul R Carini, Jong-Deok Choi, Michael Hind
Venue:In LCPC ’94: Proceedings of the 7th International Workshop on Languages and Compilers for Parallel Computing