Mechanized relational verification of concurrent programs with continuations

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

Documents

  • 3341709

    Final published version, 461 KB, PDF document

DOI

Original languageEnglish
Article number105
JournalProceedings of the ACM on Programming Languages
Volume3
IssueICFP
Pages (from-to)1-28
Number of pages28
DOIs
Publication statusPublished - 2019

See relations at Aarhus University Citationformats

ID: 176749614