Syntax-Directed Definitions and Attributes
Syntax-directed definitions: grammar plus semantic rules, synthesized and inherited attributes, the annotated parse tree of 2 * 3 + 4 with every value, dependency graphs and topological evaluation order. S-attributed and L-attributed definitions compared, a routine that classifies any rule, an inherited attribute passing a declared type down a list of names, and solved past questions on classification and evaluation. Values come from a script that runs the rules on a real parser.
