Go backward to A Core Imperative Language
Go up to Top
Go forward to Example
Abstract Syntax
- Non-terminal symbols.
- C, E, L, N.
- Variables over syntax trees.
- Terminal symbols.
- @, +, :=, skip
- Labels of syntax trees.
- Inductive definition of syntax trees.
Abstract syntax defines syntax trees!
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: core.tex,v 1.3 1996/02/05 10:34:52 schreine Exp schreine