Shahriyar, Rifat; Blackburn, Stephen; McKinley, Kathryn
Garbage collectors are exact or conservative. An exact collector identifies all references precisely and may move referents and update references, whereas a conservative collector treats one or more of stack, register, and heap references as ambiguous. Ambiguous references constrain collectors in two ways. (1) Since they may be pointers, the collectors must retain referents. (2) Since they may be values, the collectors cannot modify them, pinning their referents.
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.