High-level separation logic for low-level code

Jonas Buhrkal Jensen, Nick Benton, Andrew Kennedy

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

    Original languageEnglish
    Title of host publicationPOPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Number of pages13
    Place of PublicationNew York, NY, USA
    PublisherAssociation for Computing Machinery
    Publication dateJan 2013
    ISBN (Print)978-1-4503-1832-7
    Publication statusPublished - Jan 2013

    Cite this