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:
* Karina Olmos and Eelco Visser. [[Strategies for Source to Source Constant Propagation]].
Other papers about constant propagation:
* Sabine Glesner, Jan Olaf Blech [[http://www.info.uni-karlsruhe.de/publications.php/id=329][Classifying and Formally Verifying Integer Constant Folding]]