Übersetzung von Zuweisungen

Id: zuweis.tex,v 1.2 2005/12/15 06:29:38 waldmann Exp

Grammatik:

Statement -> Assignment | ... ;
Assignment  ->  Name := Exp ;

Übersetzung:

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

Was passiert, wenn der Name komplizierter ist? Beispiel:

a [i+1] := a [i];