Building Program Optimizers with Rewriting Strategies

  title={Building Program Optimizers with Rewriting Strategies},
  author={Eelco Visser and Zine-El-Abidine Benaissa and Andrew P. Tolmach},
We describe a language for defining term rewriting strategies, and its application to the production of program optimizers. Valid transformations on program terms can be described by a set of rewrite rules; rewriting strategies are used to describe when and how the various rules should be applied in order to obtain the desired optimization effects. Separating rules from strategies in this fashion makes it easier to reason about the behavior of the optimizer as a whole, compared to traditional… CONTINUE READING
Highly Influential
This paper has highly influenced 26 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 285 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 185 extracted citations

286 Citations

Citations per Year
Semantic Scholar estimates that this publication has 286 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-6 of 6 references

Language Prototyping. An Algebraic Speci cation Ap- proach, volume 5 of AMAST Series in Computing

A. Van Deursen, J. Heering, P. Klint, editors
View 6 Excerpts
Highly Influenced

Aspect-Oriented Programming

ECOOP Workshops • 1999
View 2 Excerpts
Highly Influenced

Transformation in intentional programming

ICSR • 1998
View 2 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…