Paleri, VK, Srikant YN, Shankar P.
2003.
Partial redundancy elimination: a simple, pragmatic, and provably correct algorithm. Sci. Comput. Program.. 48:1-20., Number 1
AbstractWe propose a new algorithm for partial redundancy elimination based on the new concepts of safe partial availability and safe partial anticipability. These new concepts are derived by the integration of the notion of safety into the definitions of partial availability and partial anticipability. The algorithm works on flow graphs whose nodes are basic blocks. It is both computationally and lifetime optimal and requires four unidirectional analyses. The most important feature of the algorithm is its simplicity; the algorithm evolves naturally from the new concept of safe partial availability.
Paleri, VK, Srikant YN, Shankar P.
1998.
A Simple Algorithm for Partial Redundancy Elimination. SIGPLAN Notices. 33:35-43., Number 12
AbstractThe paper proposes a new algorithm for partial redundancy elimination based on the new concepts of safe partial availability and safe partial anticipability. These new concepts are derived by the integration of the notion of safety into the definitions of partial availability and partial anticipability. It is both computationally and lifetime optimal and requires four unidirectional analyses. The most important feature of the algorithm is its simplicity; the algorithm evolves naturally from the new concept of safe partial availability.
] 