Eine Speichervariable (oder einfach nur Variable) ist ein Speicher/Behälter für Werte. Charakteristische Operationen auf einer Variablen v:

• Zuweisen eines Werts w an v;
• Lesen des Wertes, den v enthält/speichert/hat.

Der Zustand einer Variablen v ist undefiniert, wenn ihr noch kein Wert zugewiesen wurde; andernfalls ist der Zustand von v durch den gespeicherten Wert charakterisiert.