Generic Pretty Printer

The generic pretty-printer packages inludes tools for unparsing and pretty-printing (formatting) parse trees and abstract syntax trees of any context-free grammar. The language independent markup language BOX is used to connect source language dependent front-ends to target language dependent back-ends. A front-end translates a term over a language to BOX, to describe its intended layout. A back-end translates a BOX term to some output format. Currently, the system supports translations from BOX to (ASCII) Text, LATEX, and HTML.

More documentation about GPP can be found in the papers below:

• PaperToReuseOrToBeReused
• PaperPrettyPrintingForSoftwareReengineering
• PaperCostEffectiveMaintenanceToolsforProprietaryLanguages
• PaperPrettyPrinterForEveryOccasion
• PaperALaTeXStyleFileForFormattingBOXExpressions

Documentation about the tools of GPP can be found at:

• http://www.program-transformation.org/Tools/GenericPrettyPrinter

GPP is distributed as part of StrategoXT, which is available at:

• http://www.stratego-language.org

-- MerijnDeJonge - 09 Feb 2004