Interprocedural May-Alias analysis for pointers: Beyond k-limiting (1994)

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