Motivation

Speicher-Allokation durch Konstruktion von

• Zellen,Tupel, Closures

Modell: Speicherbelegung = gerichteter Graph

Knoten lebendig: von Register aus erreichbar.

sonst tot ⇒ automatisch freigeben

Gliederung:

• mark/sweep (pointer reversal, Schorr/Waite 1967)
• twospace (stop-and-copy, Cheney 1970)
• generational (JVM)