Strategies for Source-to-Source Constant Progagation

Karina Olmos, Eelco Visser. Strategies for Source-to-Source Constant Progagation. Electronic Notes in Theoretical Computer Science, 70(6):156-175, 2002. [doi]


Data-flow optimizations are usually implemented on low-level intermediate repre- sentations. This is not appropriate for source-to-source optimizations, which re- construct a source level program after transformation. In this paper we show how constant propagation, a well known data-flow optimization problem, can be imple- mented on abstract syntax trees in Stratego, a rewriting system extended with programmable rewriting strategies for the control over the application of rules and dynamic rewrite rules for the propagation of information.