Connectivity-based garbage collection
The Java Virtual Machine Specification