\begin{slide}{Motivation}

Speicher-Allokation durch Konstruktion von
\begin{itemize}\itemsep 0pt
\item Zellen,Tupel, Closures
\end{itemize}
\bigskip

Modell: Speicherbelegung $=$ gerichteter Graph

Knoten \emph{lebendig}: von
Register aus erreichbar.

sonst tot $\Rightarrow$ automatisch freigeben

\bigskip

Gliederung:
\begin{itemize}\itemsep 2pt
\item mark/sweep (pointer reversal, Schorr/Waite 1967)
\item twospace (stop-and-copy, Cheney 1970)
\item generational (JVM)
\end{itemize}

\end{slide}
