Iron: Managing obligations in higher-order concurrent separation logic
In: Proceedings of the ACM on Programming Languages, Jg. 3 (2019), Heft POPL
Online
serialPeriodical
Zugriff:
Titel: |
Iron: Managing obligations in higher-order concurrent separation logic
|
---|---|
Autor/in / Beteiligte Person: | Bizjak, Aleš ; Gratzer, Daniel ; Krebbers, R.J. ; Birkedal, Lars |
Link: | |
Zeitschrift: | Proceedings of the ACM on Programming Languages, Jg. 3 (2019), Heft POPL |
Veröffentlichung: | 2019 |
Medientyp: | serialPeriodical |
ISSN: | 2475-1421 (print) |
DOI: | 10.1145/3290378 |
Sonstiges: |
|