Compiler Construction bio photo

Compiler Construction

Twitter Github

Edit on GitHub

Term Rewriting

Slides

Term Rewriting from Eelco Visser

PDF

Further Reading

  1. Eelco Visser, Zine-El-Abidine Benaissa, Andrew P. Tolmach. Building Program Optimizers with Rewriting Strategies. In Matthias Felleisen, Paul Hudak, Christian Queinnec, editors, Proceedings of the third ACM SIGPLAN international conference on Functional programming. pages 13-26, ACM, Baltimore, Maryland, United States, 1998. (The original Stratego paper, even though the language is not called Stratego yet in the paper.)

  2. Martin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser: Stratego/XT 0.17. A language and toolset for program transformation. Science of Computer Programming, 72(1-2), 2008. http://www.strategoxt.org (Paper describing the toolset built around Stratego and SDF for implementing program transformation systems.) [Tech Report PDF]

  3. Zef Hemel, Lennart C. L. Kats, Danny M. Groenewegen, and Eelco Visser (2010). Code generation by model transformation. A case study in transformation modularity. SoSym 9(3), Springer. (Describes how transformations can be used to transform a high-level language into a core language.)