Local Reasoning about a Copying Garbage Collector

Noah Torp-Smith, Lars Birkedal, John C. Reynolds

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

    Fingerprint

    Dive into the research topics of 'Local Reasoning about a Copying Garbage Collector'. Together they form a unique fingerprint.

    Keyphrases

    Computer Science