farfromready.com
Automatic Memory Management - Far From Ready
The liveness of a memory cell is undecidable, but can be well approximated by reachability. In this post, we explore the two styles of garbage collection.