Global value numbers and redundant computations. See POPL (1988)

by B K ROSEN, M N WEGMAN, F K ZADECK