Stratego Application

---

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.

---

The Stratego language is being used in applications in various areas of program transformation. This page lists some examples. Feel free to create a page about your own Stratego application and link to it here.

• Stratego/XT Packages
• Stratego/XT Extensions

Applets

Applets are small applications that are mainly written as illustrations of program transformation with strategies and are more accessible than real applications.

• XtApplet: a template package for building applets with XT and Stratego
• EBNF: several transformations on grammars in EBNF format

Applications

StrategoXT: a bundle of program transformation tools

• asfix-tools: manipulation of concrete syntax trees
• aterm-tools: generic manipulation of ATerms
• graph-tools: graph operations
• GPP: generic pretty-printing framework
• sdf-tools: grammar transformations
• stratego-tools: generation of Stratego specifications
• Stratego/J: JVM-based interpreter for Stratego
• jsglr: SGLR implementation in Java.

Compilation by transformation

• Stratego compiler: the compiler for the Stratego language
• Tiger in Stratego: a compiler and many additional transformations for AndrewAppel's Tiger language
• RhoStratego: a language experiment combining strategic programming with higher-order functional programming
• Octave Compiler: translation of array processing programs to various target languages
• KoalaCompiler: a compiler for the Koala component model
• The Dryad Compiler: an open compiler for Java

Program Synthesis

• PrologTools: package for processing Prolog programs

Program optimization

• HSX: warm fusion transformation of functional programs
• CodeBoost: domain-specific C++ transformations
• HsOpt: transformation of Helium programs (subset of Haskell)
• PanOptimizer : optimizer for domain-specific language for image manipulation

Documentation generation

• ExtendibleDocumentationGenerator (xDoc) - source code documentation generation for Stratego
• Documentation generation for SDL (no page yet)
• bibtex-tools - toolkit for organizing information about your publications.

Application generation

• java-front - parser and pretty-printer for Java 1.4/1.5.
• prolog-tools
• Transformers - transformation environment for ANSI C, including a parser and pretty-printer for C.
• aspectj-front - parser and pretty-printer for AspectJ^?.
• jimple-front - parser and pretty-printer for Jimple.

Software renovation

• CobolX: transformations on COBOL programs

Software configuration

• AutoBundle: creates software distribution bundles from package descriptions by analyzing depencencies between packages. The tool also generates a webpage from a collection of package descriptions and computes pictures of dependency graphs on demand. You can see AutoBundle at work in the online package base.

Theorem Proving

• P Logic Prover

Dynamic website generation

• xweb: Generic template-based transformation demonstration website
• WebDSL: a domain-specific language for developing dynamic web applications with a rich data model.