Detecting equality of values in programs (1988)

by B Alpern, M N Wegman, F K Zadeck
Venue:Conference Record of the Fifteenth ACM Symposium on Principles of Programming Languages