回答:
簡単なグーグル検索は、Muchnick、Advanced Compiler Design&Implementation、Section 13.3 Partial-Redundancy Elimination、pp 407-408に示されています。
アルゴリズムの重要な点は、フロー分析が実行される前にフローグラフのクリティカルエッジが分割されている場合、はるかに効果的である可能性があることです。
したがって、この概念は、冗長性の排除における特定のフロー分析の効率を高めるのに役立ちます。これは、共通の部分式を持つコードの部分を見つけ、それらを単一の計算に引き上げることで、クリティカルエッジがない場合に容易になります。