Incremental garbage collection: tri-color marking split into small slices interleaved with the program on a timeline, with a write barrier preserving correctness across the gaps.