- p |- U:H
- Within context p, U has type H.
- p1 |- loc1:=A+2: comm.
- Type annotations can be constructed by left-to-right post-order tree
- While descending tree to leaves, attach type assignments to nodes.
- While ascending tree to root, attach type attributes to nodes.
- Attribute grammars:
- Type assignments are inherited attributes.
- Type attributes are synthesized attributes.
Typing rules define typing algorithm!
Author: Wolfgang Schreiner
Last Modification: April 2, 1998