compiler for the Utrecht University Attribute Grammar system


The Attribute Grammar system can be used to annotate the production rules of a grammar with inherited and synthesised attributes. The values of the attributes can be determined while parsing/traversing the abstract syntax tree and will give the semantic value of the tree.

The inherited attributes are values which are passed downwards through the abstract syntax tree and the synthesised attributes are passed upwards. Haskell expressions are used to describe the computation of the attributes.

The uuagc compiler takes a set files in which the attribute grammar is defined and generates a Haskell file that contains the data type definitions corresponding to the grammar, semantic functions and catamorphisms (functions that take a syntax tree and return the semantic value of that tree)

The (Utrecht University) Attribute Grammar system is part of the Haskell Utrecht Tools set.

Upload more screenshots

Please help extend the collection of screenshots. Just make a screenshot and upload it here. You don't need to register or anything.

Upload a screenshot

Hint: upload an image here from your clipboard with Ctrl-V



Install this software package

If the package is available for the distribution you are currently using on your computer then install the software by clicking on…

Install uuagc