Übersetzung von Zuweisungen

Id: zuweis.tex,v 1.1 2004/10/19 11:34:39 waldmann Exp

Grammatik:

Statement -> Assign ; Assign  ->  Name := Exp

Für Anweisungen: erzeuge Code, der Stack insgesamt nicht ändert.

code ( n := e ) ==> code (e) ; Push (Adresse von n) ; Store

Anweisungsfolgen:

code ( s1 ; s2 ; .. ) => code (s1) ; code (s2) ; ...