• Persistente Variablen bezeichnen globale Objekte (z.B. Dateien), die außerhalb des Programmlaufes Bestand und Bedeutung haben.

• Statische Variablen: ihnen ist über die Laufzeit des Programms hinweg genau ein  Speicherobjekt zugeordnet, das beim Programmstart eingerichtet und bei Programmende wieder gelöscht wird. So verhalten sich die explizit deklarierten Variablen im äußersten  Block eines Programms bzw. eines Moduls.

• Automatische Variablen gehören zu inneren Blöcken ; ihnen wird erst bei der Aktivierung des Blockes ein Speicherobjekt (als Teil des Aktivierungsobjektes) zugeordnet, das beim Verlassen des Blockes wieder freigegeben wird. Weil Blöcke mehrfach aktiviert sein können (etwa durch rekursiven Aufruf einer Prozedur), können derselben Variablen so mehrere Inkarnationen zugeordnet sein; und eine davon (in der Regel die jüngste) ist jeweils sichtbar.

• Dynamische Variablen werden im Programmlauf explizit  erzeugt und auch explizit gelöscht; ihre Lebensdauer ist von der Blockstruktur unabhängig. Man stellt sich vor, daß sie aus einem eigenen Speicherbereich genommen werden, der die Halde genannt wird (auf Englisch: heap; dieses Wort hat mehrere Bedeutungen!) Dynamische Variablen sind gewöhnlich anonym und werden über einen Zugriffspfad  angesprochen, der bei ihrer Erzeugung ausgeliefert wird.

  Es kann gleichzeitig mehrere Zugriffspfade geben, dann spricht man von einem Alias-Phänomen; es ist gefährlich, denn eine Veränderung über einen der Zugriffspfade wirkt sich auch auf die anderen Pfade aus, ohne daß man dies lokal erkennt.

  Gehen alle Zugriffspfade verloren, so bleibt das der Variablen zugeordnete Speicherobjekt dennoch erhalten, und es belegt weiterhin Platz, ist aber nicht mehr zugänglich. Man spricht hier von Garbage oder Daten-Müll. In Programmiersystemen, in denen dieser Effekt häufig oder gar ständig auftritt (dazu gehören LISP, PROLOG und fast alle objektorientierten Sprachen), benötigt man daher eine automatische  Speicherbereinigung, auch Garbage Collection genannt, die von Zeit zu Zeit solche unzugänglich gewordenen Speicherobjekte aufsucht und freigibt. Dies kostet Rechenzeit und tritt meist zu unvorhersehbaren Zeitpunkten auf; das kann bei manchen Anwendungen lästig oder störend sein.

  Arbeitet die Speicherbereinigung fehlerhaft, oder gibt der Programmierer, sofern es keine solche gibt, nicht alle dynamischen Variablen wieder frei, die nicht mehr benötigt werden, so kommt es zu Speicherschwund ("memory leaks") mit dem Effekt, daß womöglich der freie Speicher zur Neige geht und der Programmlauf daher vorzeitig beendet wird.

Bemerkung: