An Efficient Parallel Garbage Collection System and Its Correctness Proof

H. T. Kung, S. W. Song. An Efficient Parallel Garbage Collection System and Its Correctness Proof. In 18th Annual Symposium on Foundations of Computer Science, 31 October-2 November, Providence, Rhode Island, USA. pages 120-131, IEEE, 1977.

Abstract

Abstract is missing.