================================================================================
P9414   M.G.J. van den Brand & C. Groza
        "The algebraic specification of annotated abstract syntax trees"


This paper presents an algebraic specification of annotated abstract
syntax trees. 
The goal is to create a flexible mechanism for processing trees 
used by various tools in programming environments.

The major parts of the specification are: the definition of  the
abstract syntax of a language, the definition of the abstract data
type tree and the specification of a systematic method to create, use,
and delete information from the nodes of the tree.