Task How to define pretty-print tables for use with GPP. Description The utility AsFixToAbox is a language-independent front-end for the pretty-print system GPP. ...

Task One sentence. Description Global (step-wise) procedure for carrying-out the task. Examples Specific instantiation of the global procedure for specific input ...

Task Given a grammar and a parse tree obtained by parsing a term over this grammar, construct a subgrammar that still parses the same term. Description Given a grammar ...

Assuming that all required packages are installed (see HowToObtainKoalaCompiler), the source distribution of KoalaCompiler can be installed in the following steps ...

The KoalaCompiler is developed as a component-based system using Stratego.StrategoXT: The system is implemented as a set of program transformation tools. Different ...

Task How to obtain abstract syntax trees Description Given a concrete term over some language L, an abstract syntax tree for that term is obtained by: 1. generating ...

See HowToInstallKoalaCompiler for installation instructions INCLUDE{KoalaCompilerRelease03}

The KoalaCompiler components are all tool components that use a standard set of command-line switches to control their operation. Below we describe the common switches ...

Task How to pretty-print a grammar. Description A grammar can be pretty-printed (to plain text, html, or latex) using the GPP package in the following way: 1. Parse ...

Task How to use pretty-printed documents in LaTeX. Description The back-end abox2latex produces LaTeX code according to the formatting defined in a Box term. In order ...