Detecting Equality ofVariables in Programs (1988)

by B Alpern, M N Wegman, F K Zadeck
Venue:In Proc. of the 15th ACM Symposium on Principles of Programming Languages