Strategies For Source To Source Constant Propagation
Stratego -- Strategies for Program Transformation
K. Olmos and E. Visser. Strategies for Source-to-Source Constant Propagation. In B. Gramlich and S. Lucas (editors) Second International Workshop on Reduction Strategies in Rewriting and Programming(WRS'02). Electronic Notes in Theoretical Computer Science vol. 70 No. 6. Elsevier Science Publishers, Copenhagen, Denmark. July 2002. URL: http://www.elsevier.nl/locate/entcs/volume70.html
Abstract
Data-flow optimizations are usually implemented on low-level
intermediate representations. This is not appropriate for
source-to-source optimizations, which reconstruct a source level
program after transformation. In this paper we show how constant
propagation, a well known data-flow optimization problem, can be
implemented 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.
Technical report
Resources
CategoryPaper