@inproceedings{Alpern1988DetectingEO,
title={Detecting Equality of Variables in Programs},
author={Bowen Alpern and Mark N. Wegman and F. Kenneth Zadeck},
booktitle={POPL},
year={1988}
}

paper presents an algorithm for detecting when two computations produce equivalent values. The equivalence of programs, and hence the equivalence of values, is in general undecidable. Thus, the best one can hope to do is to give an efficient algorithm that detects a large subclass of all the possible equivalences in a program. Two variables are said to be equivalent at a point p if those variables contain the same values whenever control reaches p during any possible execution of the programâ€¦Â CONTINUE READING