Stratego Application

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.