Daniel K. House

• Toward a formal characterization of garbage collection