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

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