Adressen und Werte

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

• Ausdruck links von := muß Adresse liefern
• Ausdruck rechts von := muß Wert liefern

Bezeichnung in Sprache C: lvalue/rvalue

Übersetzung von rvalues durch Funktion code

Übersetzung von lvalues:

lvalue (Name n) ==> Push ( Adresse von n )
lvalue (Zahl z) ==>  verboten !
lvalue ( Array a [ Exp ] ) ==>
    code ( Exp ) ; // als rvalue!
    Push ( Adresse von a ) ; Add

Bereichsprüfungen?