Flowinsensitive interprocedural alias analysis in the presence of pointers (1995)

by Michael Burke, Paul Carini, Jong-Deok Choi, Michael Hind
Venue:In International Workshop on Languages and Compilers for Parallel Computing, volume 892 of Lecture Notes in Computer Science