Quirk20
Informal semantics: somewhat similar to the corresponding subset of Java, but there are some important differences. See the typing rules below.
Context-free grammar
ParseGen grammar
ParseGen
documentation
Specification of
abstract syntax trees
Specification of the abstract data types
Qtype and Tenv
Specification of scope and
typing rules
.
Specification of
leaf and tail attributes
.
Specification of a simple
code generator
History of changes
to this documentation.
Last updated 27 February 2003.