In this section we describe classical Attribute Grammars and our proposed
extensions using short, informal and incomplete examples. Each of these is presented
using an Attribute Grammar specification in Olga, a functional specification (the
CAML dialect of ML) and inference rules (Typol
[Des88]). The ML and Typol examples are not
meant to be a basis for comparison but rather an aid for
intuitively understanding the semantics of our extensions; lack of space prevents
us from introducing the formalisms in detail here.