Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Correctness-preserving derivation of concurrent garbage collection algorithms
Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Lock-free parallel and concurrent garbage collection by mark&sweep
Science of Computer Programming
CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
A general framework for certifying garbage collectors and their mutators
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Local reasoning about a copying garbage collector
ACM Transactions on Programming Languages and Systems (TOPLAS)
Hi-index | 0.00 |