Go backward to
Abstract Syntax
Go up to
Top
Go forward to
Typing Rules
Example
loc
_1
:= 0;
while
@
loc
_1
=0
do
loc
_2
:=@
loc
_1
+1
od
Semantics gives meaning to syntax trees!
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: core.tex,v 1.3 1996/02/05 10:34:52 schreine Exp schreine