«The undecidability of liveness is a corollary of the halting problem» Richard Jones, Antony Hosking, Eliot Moss; The Garbage Collection Handbook. A point in memory — a cell — is said to be alive if it will be accessed at any time in the future by the mutator — any of the threads of execution […]