Compiler Design · topic
Syntax-directed definitions with synthesized and inherited attributes, S-attributed and L-attributed definitions, dependency graphs and evaluation order, and translation schemes evaluated on given inputs.
Parsing tells the compiler how a program is structured; it does not compute anything about the program. Syntax-directed translation attaches information to grammar symbols, called attributes, and attaches rules to productions that compute those attributes.
A syntax-directed definition says what each attribute equals but leaves the order of evaluation to the dependency graph.
One-page visual sheets for this topic, in the sheet library on the store. Previews are free; the full sheets come with the subject pack.
