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.
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.