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


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



  author =    {Karina Olmos and Eelco Visser},
  title = {Strategies for Source-to-Source Constant Propagation},
  booktitle = {Workshop on Reduction Strategies (WRS'02)},
  pages = 20,
  year = 2002,
  editor =  {B. Gramlich and S. Lucas},
  volume =  70,
  number =  6,
  series =  {Electronic Notes in Theoretical Computer Science},
  address = {Copenhagen, Denmark},
  month = {July},
  publisher = {Elsevier Science Publishers},
  note = {\url{http://www.elsevier.nl/locate/entcs/volume70.html}}


Revision: r1.4 - 17 Sep 2003 - 08:43 - EelcoVisser
Stratego > StrategoPublications > StrategiesForSourceToSourceConstantPropagation
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback