Common Subexpression Elimination

Stratego -- Strategies for Program Transformation
Constant and copy propagation performs a forward propagation of known term expressions. This may result in multiple of (parts of) the same term. A common-subexpression elimination component should undo the overhead caused by constant propagation by sharing builds of (sub)terms.

-- EelcoVisser - 17 Aug 2003