Unicity of Typing
Can a syntax tree be typed in multiple ways?
- Unicity of typing property.
- Every syntax tree has as most one assignment of typing attributes to its
- If P:T holds, then T is
- Unicity of Typing holds for Numeral.
- By single typing rule, if N:T holds, then
int (for all N in Numeral).
- Unicity of Typing holds for Location.
- By single typing rule, if L:T holds, then
intloc (for all L in Location).
Author: Wolfgang Schreiner
Last Modification: March 26, 1998