is the combination of the Stratego language for strategic programming with the XT bundle of transformation tools.
XT is a bundle of transformation tools that combines Stratego, a
language for transformation of abstract syntax trees, with tools for
other aspects of program transformation. Stratego only deals with
transformation of programs represented by means of terms. Parsing and
pretty-printing is provided by the XT bundle of transformation tools,
which combines Stratego with the Syntax Definition Formalism SDF and
the Generic Pretty-Printing Package GenericPrettyPrinter
This two page brochure
summarizes the main features of Stratego and XT. Useful for distribution at conferences and such.
- 10 Oct 2003