Modular Reasoning about Separation of Concurrent Data Structures

Kasper Svendsen, Lars Birkedal, Matthew Parkinson

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
    PublisherAssociation for Computing Machinery
    Publication date2013
    ISBN (Print)978-3-642-37035-9
    Publication statusPublished - 2013

    Cite this