Detecting equality of variables in programs (1988)

by B Alpern, M N Wegman, F K Zadeck
Venue:In POPL ’88: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages