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]]