---

Note that Stratego is now part of the Spoofax Language Workbench, which provides an Eclipse plugin for developing SDF and Stratego, and creating Eclipse IDE plugins for your own language. See the Spoofax website for information and downloads: http://metaborg.org. This website is still available for historical purposes. Refer the new site for up-to-date documentation.

---

Full bibliography of Stratego

• Bibliography of Stratego/XT related publications at researchr

• Publications by year and type
• strategoxt.bib

Overview

• Program transformation with StrategoXT
• Stratego/XT: Components for program transformation systems (two page brochure)
• Stratego A language for program transformation based on rewriting strategies

Language Concepts

• Specification of rewriting strategies
• Building program optimizers with rewriting strategies
• A core language for rewriting
• Strategic pattern matching
• Language independent traversals for program transformation
• Meta programming with concrete object syntax
• Program Transformation with Scoped Dynamic Rewrite Rules
  subsumes
  • Extending dynamic rules
  • Scoped dynamic rewrite rules
• Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules

Transformation Infrastructure

Overview

• XT A bundle of program transformation tools
• Connecting XML processing and term rewriting with tree grammars
• XDoc An extensible documentation generator

Language Engineering

• Grammar engineering support for precedence rule recovery and compatibility checking

Applications

Optimization

• Warm fusion in Stratego
• Transformaties op Mondrian met Stratego
• Implementation of inlining in Stratego
• Strategies for source to source constant propagation
• Design of the CodeBoost transformation system
• Turning dynamic typing into static typing by program specialization
• Simplifying the simplifier
• Specification of loop optimizations in Stratego improving the AutoBayes system

Language definition

• Building interpreters with rewriting strategies

Code generation

• Rewriting strategies for instruction selection
• Code generation from a domain specific language

Language extension

• Adding concrete syntax to a prolog based program synthesis system
• Retrofitting the AutoBayes program synthesis system with concrete syntax
• Concrete syntax for objects. Domain-specific language embedding and assimilation without restrictions
• Generalized type-based disambiguation of meta programs with concrete object syntax

Various applications

Most of the publications listed on this page are written by the developers of Stratego/XT and cover some aspect of the system. We plan to extend the bibliography to include all applications of Stratego/XT. If you have published a paper where you use Stratego/XT and want to be listed here, just let us know. Currently, this list is very incomplete.

• Mina Askari and Raihan Al-Ekram, "Bringing Smalltalk Blocks to Java through Transformation Techniques" (pdf)

• Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere, "Semantics of static pointcuts in AspectJ". (website)

• Anya Helene Bagge, Valentin David, Magne Haveraaen, Karl Trygve Kalleberg. "Stayin' alert: moulding failure and exceptions to your needs"

• A. H. Bagge and K. T. Kalleberg. "DSAL = library+notation: Program Transformation for Domain-Specific Aspect Languages"

• Alexandre Borghi, Valentin David and Akim Demaille. "C-Transformers: A Framework to Write C Program Transformations"

• W. Caarls, P.P. Jonker, and H. Corporaal, "Algorithmic Skeletons for Stream Programming in Embedded Heterogeneous Parallel Image Processing"

• Valentin David, Akim Demaille, Olivier Gournet, "Attribute Grammars for Modular Disambiguation"

• Akim Demaille, Sylvain Peyronnet, Benoît Sigoure. "Modeling of Sensor Networks Using XRM"

• F. Latry, J. Mercadal, and C. Consel, "Processing Domain-Specific Modeling Languages: A Case Study in Telephony Services"

• Sebastian Fleissner, Elisa Baniassad, "A commensalistic software system". (doi)

• Sergey V. Goncharov, Arseniy Y. Rudich, Yaroslav S. Usenko. "An implementation of a µCRL linearization algorithm using rewriting strategies."

• Jonathan Riehl, "Assimilating MetaBorg: Embedding language tools in languages"

• Eric Tanter, "An Extensible Kernel Language for AOP"

• Karl Trygve Kalleberg, Eelco Visser, "Fusing a Transformation Language with an Open Compiler"

• Leonard Hamey, Shirley Goldrei, "Implementing a Domain-Specific Language using Stratego/XT"

• Eric Bouwers, Martin Bravenboer, Eelco Visser, "Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking"

Surveys

of strategies and related mechanisms in several languages

• A survey of strategies in rule based program transformation systems
• The essence of strategic programming
• Strategic programming meets adaptive programming
• Transformation mechanics

• A survey of rewriting strategies in program transformation systems (subsumed by new version above)

Implementation

• Fusing logic and control: An Example Optimization

Tutorials

• Handouts for the Stratego Tutorial at ETAPS 2002
• Slides for Software Generation 2001
• Tutorial for First Stratego Users Day 2000