\begin{slide}{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
\begin{itemize}
\item vom Programmierer (durch Destruktor-Aufruf)
\item vom Laufzeitsystem (durch Zeiger-Analyse)
\item vom Compiler (durch Programm-Analyse)
\end{itemize}
bestimmt werden.





\end{slide}
