Aarhus University Seal / Aarhus Universitets segl

Verifying custom synchronisation constructs using higher-order separation logic

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

Links

DOI

  • Mike Dodds, The University of York, United Kingdom
  • Suresh Jagannathan, Purdue University, United States
  • Matthew J. Parkinson, Microsoft Research, Cambridge, United Kingdom
  • Kasper Svendsen, Denmark
  • Lars Birkedal
Original languageEnglish
Article number4
JournalACM Transactions on Programming Languages and Systems
Volume38/2
Pages (from-to)4:1 - 4:72
Number of pages72
ISSN0164-0925
DOIs
Publication statusPublished - 2016

See relations at Aarhus University Citationformats

ID: 108726452