Local Reasoning about a Copying Garbage Collector (2004)

by Lars Birkedal , Noah Torp-smith , John C. Reynolds
Venue:In 31st ACM POPL
Citations:67 - 8 self