Tag-Free Garbage Collection (cont.)
Compiler can generate code necessary to support GC
- code is specific to program
- compiler knows type of each datum, so no tagging is required
- for each type in the program, there is a GC routine that manipulates objects of that type
- for each procedure, compiler generates GC routines