Full bibliography of Stratego

• 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