Automatische Freigabe

Objekt kann freigegeben werden, sobald es nicht mehr benutzt wird (d. h. keine Methoden aufgerufen, keine Attribute gelesen werden, keine Referenzen auf das Objekt bestehen)

Dieser Zeitpunkt kann bestimmt werden:

• vom Programmierer (durch Destruktor-Aufruf)

  (fehleranfällig, Bsp: C, C++)

• vom Laufzeitsystem (durch Zeiger-Analyse)

  (= garbage collection, evtl. teuer, Bsp: Java, Haskell)

• vom Compiler (durch Programm-Analyse)

  (= ,,kostenlose`` garbage collection)