engl.: program variable

Jede Variablendeklaration definiert eine Programmvariable. Wir unterscheiden:

• globale Variablen
• (prozedur-)lokale Variablen
• Klassenvariablen, Attribute, usw.

Jeder Programmvariablen entsprechen zur Ausführungszeit/Laufzeit des Programms eine oder mehrere Speichervariablen:

• Jeder globalen Variablen ist genau eine Speichervariable zugeordnet.
• Ist v eine lokale Variable zur Prozedur p, dann gibt es zu jeder Inkarnation von p eine Speichervariable für v.