Correctness-preserving derivation of concurrent garbage collection algorithms.

Martin T. Vechev, Eran Yahav, David F. Bacon

Browse the full PLDI paper archive.