Correctness-preserving derivation of concurrent garbage collection algorithms (2006)

by M T VECHEV, E YAHAV, D F BACON
Venue:In Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ’06). 341–353. (SIGPLAN Notices