Veränderliche Variablen

(bis jetzt sind unsere „Variablen`` konstant und nur die Zellen veränderlich.)

neue Syntax (set! I E), I ...Identifier, E ...Exp

erfordert Änderung in der Semantik: bisher: Nameable = Value, jetzt: Nameable = Location

Realisierung von (Name → Wert) durch zwei Bindungen:

• (in Umgebung:) Name → Location
• (im Speicher:) Location → Value

Ausblick:

• CBV, CBN, CBReference
• Übersetzung: veränd. Var → veränd. Zellen