Stratego/XT 0.17. A language and toolset for program transformation

Abstract

a b s t r a c tStratego/XT is a language and toolset for program transformation. The Stratego language provides rewrite rules for expressing basic transformations, programmable rewriting strategies for controlling the application of rules, concrete syntax for expressing the patterns of rules in the syntax of the object language, and dynamic rewrite rules for expressing context-sensitive transformations, thus supporting the development of transformation components at a high level of abstraction. The XT toolset offers a collection of flexible, reusable transformation components, and tools for generating such components from declarative specifications. Complete program transformation systems are composed from these components. This paper gives an overview of Stratego/XT 0.17, including a description of the Stratego language and XT transformation tools; a discussion of the implementation techniques and software engineering process; and a description of applications built with Stratego/XT.

A Language Independent Task Engine for Incremental Name and Type Analysis

“…Both components use hash-based data structures which can be persisted to file. They support Java representations of terms as values and expose their APIs to Stratego [2], Spoofax' term rewriting language for analysis, transformation, and code generation.…”

Triple Graph Grammars in the Large for Translating Satellite Procedures

“…Source transformation systems based on term rewriting include the DMS system [2], TXL [4], the Rascal language [19] and the Spoofax language workbench [18] with the Stratego/XT engine [3]. Using these systems is quite similar to our approach, which can be seen, e. g., in the Extract-Analyze-Synthesise (EASY) Paradigm for Rascal [20].…”

Interactive Disambiguation of Meta Programs with Concrete Object Syntax

“…In turn, quotations can include anti-quotations that escape from the object language code in order to include variables or expressions from the meta language. As an example, Figure 2 shows a Stratego [4] Grammar composition Some meta-programming systems, such as Jak [3] and MetaAspectJ [8], have been specifically designed for a fixed object language. These systems use a carefully handcrafted grammar or parser for the combined meta and object language.…”

“…Concrete object syntax can be syntactically checked as meta programs are compiled. This technique is now supported by many meta-programming systems [2,3,4,7,12].…”