List of Tables
1.1
Modern languages and garbage collection
11.1
An example of pointer tag encoding
11.2
Tag encoding for the SPARC architecture
11.3
The crossing map encoding of Garthwaite et al
13.1
Memory consistency models and possible reorderings
14.1
State transition logic for the Imai and Tick collector
14.2
State transition logic for the Siegwart and Hirzel collector
16.1
Lamport mark colours
16.2
Phases in the Doligez and Gonthier collector