Partial redundancy elimination: a simple, pragmatic, and provably correct algorithm

Vineeth Kumar Paleri, Y. N. Srikant, Priti Shankar. Partial redundancy elimination: a simple, pragmatic, and provably correct algorithm. Science of Computer Programming, 48(1):1-20, 2003. [doi]

Abstract

Abstract is missing.