Transformational Derivation of a Garbage Collection Algorithm

Authors:
Robert B. K. Dewar;Micha Shirar;Elia Weixelbaum
Affiliations:
Department of Computer Science, Courant Institute of Mathematical Sciences, New York University, New York, NY;School of Mathematical Sciences, Tel-Aviv University, Ramat-Aviv, Tel Aviv 69976, Israel;Department of Computer Science, Courant Institute of Mathematical Sciences, New York University, New York, NY
Venue:
ACM Transactions on Programming Languages and Systems (TOPLAS)
Year:
1982

Correctness-preserving derivation of concurrent garbage collection algorithms

Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation

Hi-index	0.00