Zadeck; "Detecting Equality of Variables in Programs (1988)

by B Alpern, M N Wegman, F K
Venue:Proceedings of the Fifteenth Annual ACM SIGACT_SIGPLAN Symposium on Principles of Programming Languages