"The UU Attribute Grammar System (UUAG)"

Abstract

The UUAG is a simple preprocessor on top of Haskell that allows to structure Haskell programs as attribute grammars. It allows a form of aspect-oriented programming: one can program data-oriented (defining all the attributes for one datatype in one place) and attribute-oriented (defining one attribute for all datatype in one place), and also choose an arbitrary path in between, which allows to keep semantically related code together in the code. Furthemore, copy rules take care of propagating attributes automatically and allow to omit a lot of uninteresting code.

This talk will introduce the features and the syntax of the UUAG system. Previous knowledge of Haskell is not necessary, but helpful. (Joint work with S. Doaitse Swierstra and Arthur Baars.)