Verification of a Generational Garbage Collector

(arxiv.org)

2 points | by matt_d 8 hours ago ago