Variablen?

in unserem Modell haben wir:

• veränderliche Speicherstellen,
• aber immer noch unveränderliche „Variablen`` (lokale Namen)

⇒ der Wert eines Namens kann eine Speicherstelle sein, aber dann immer dieselbe.