XTDocumentation

• InstallXT^?
• HowToConnectParsersAndPrettyPrintersToYourStrategoPrograms^?
• HowToDefinePrettyPrintTables
• HowToObtainAbstractSyntaxTrees
• HowToPrettyPrintAGrammar
• HowToUseGPPWithLaTeX
• HowToWriteGrammars^?
• HowToGenerateStrategoSignatures^?
• HowToGenerateMinimalGrammarsFromParseTrees

Background

• XTPrinciples^?: Principles of the distribution.
• XTApplications^?: Tools that have been built with XT.
• XTRelated^?: Links to related work.

Packages

• ATermLibrary: Representation and exchange of data structures.
• StrategoPackage^?: Tooling for the StrategoLanguage^?.
• GPP: The generic pretty-printing package.
• SGLR: A GeneralizedLR parser.
• PGEN: A parser generator for Sdf.
• GrammarBase^?: A collection of grammars.
• GrammarTools: A collection of tools for grammar engineering.
• JJForester: A parser and visitor generator for Java which operates on Sdf grammars.

Languages and formats

• SDF
• ATerm
• AsFix
• BOX
• StrategoLanguage^?

Instructions

• AddingXTDocumentation^?. Hints and templates.
• XTWikiOrganization^?. A discussion page.
• ReleaseCheckList^?. For developers.

Presentations

• Slides on Tools for Program Transformation

See also

• The ATermLibrary, SGLR, and PGEN are part of the Asf+Sdf Meta-Environment, (http://www.cwi.nl/projects/MetaEnv/meta/).
• Stratego is available separately ( http://www.stratego-language.org )
• GPP is available separately (http://www.cwi.nl/~mdejonge/gpp/).
• For discussions of program transformation in general and a survey of program transformation systems, see http://www.program-transformation.org/.