Global Value Numbers and Redundant Computations.

Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck

Browse the full POPL paper archive.