Interprocedural may-alias analysis for pointers: Beyond k-limiting (1994)

by A Deutsch
Venue:In ACM Conf. on Prog. Lang. Design and Implementation