Detecting Equality of Variables in Programs.

Bowen Alpern, Mark N. Wegman, F. Kenneth Zadeck

Browse the full POPL paper archive.