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.