vereinfacht: Variable bezeichnet eine (logische) Speicherzelle
genauer: Variable besitzt Attribute
Bindungen dieser Attribute statisch oder dynamisch