Motivation

Speicher-Allokation durch Konstruktion von

• Zellen,Tupel, Closures

Modell: Speicherbelegung = mathend000# gerichteter Graph

Knoten lebendig: von Register aus erreichbar.

sonst tot ⇒ mathend000# automatisch freigeben

Gliederung:

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