Go backward to Abstract Syntax Go up to Top Go forward to Typing Rules

Example

loc₁ := 0; while @loc₁=0 do loc₂:=@loc₁+1 od

Semantics gives meaning to syntax trees!