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

by A Deutsch
Venue:In Proceedings of the ACM Conference on Programming Language Design and Implementation