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: