Iron: managing obligations in higher-order concurrent separation logic
Bizjak, Aleš, Gratzer, Daniel, Krebbers, Robbert, Birkedal, LarsVolume:
3
Language:
english
Journal:
Proceedings of the ACM on Programming Languages
DOI:
10.1145/3290378
Date:
January, 2019
File:
PDF, 494 KB
english, 2019