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