Incremental Garbage Collection Scheme in KL1 and Its Architectural Support of PIM

This paper describes an incremental garbage collection (GC) scheme for the parallel logic programming language KL1 that uses one extra bit of information attached to pointers to data objects rather than the data objects themselves.