Eine Speichervariable (oder einfach nur Variable) ist ein Speicher/Behälter für Werte. Charakteristische Operationen auf einer Variablen v:
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.