Aarhus University Seal / Aarhus Universitets segl

Iron: managing obligations in higher-order concurrent separation logic

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearchpeer-review

Documents

  • 3290378

    Final published version, 494 KB, PDF document

DOI

Original languageEnglish
Article number65
JournalProceedings of the ACM on Programming Languages
Volume3
IssuePOPL
Pages (from-to)1-30
Number of pages30
DOIs
Publication statusPublished - 2019

See relations at Aarhus University Citationformats

Download statistics

No data available

ID: 176490622