Sciweavers

66
Voted
VSTTE
2010
Springer
14 years 7 months ago
Reusable Verification of a Copying Collector
Garbage collectors are very hard to implement correctly due to their low-level manipulation of memory. In this paper, we construct a copying garbage collector which we have proved ...
Magnus O. Myreen
LFP
1994
133views more  LFP 1994»
14 years 11 months ago
Concurrent Replicating Garbage Collection
We have implemented a concurrent copying garbage collector that uses replicatinggarbage collection. In our design, the client can continuously access the heap during garbage colle...
James O'Toole, Scott Nettles
POPL
2004
ACM
15 years 10 months ago
Local reasoning about a copying garbage collector
Lars Birkedal, Noah Torp-Smith, John C. Reynolds