An attribute grammar system based on strongly non-circular AGs that perform space optimizations.

The system generates efficient incremental attribute evaluators and was written by one of the attribute-grammar formalizers.

The UU_AG system is a very simple program that reads a set of files containing an attribute grammar, in which semantic functions are described through Haskell expressions.