Constant Propagation

Stratego -- Strategies for Program Transformation
Constant propagation is a data-flow optimization in which assignments of a constant value to a variable are propagated to the use of that variable.

The following paper shows how constant propagation can be implemented in Stratego using generic traversals and dynamic rules:

Other papers about constant propagation: