Iris from the ground up: A modular foundation for higher-order concurrent separation logic
JUNG, RALF, KREBBERS, ROBBERT, JOURDAN, JACQUES-HENRI, BIZJAK, ALEŠ, BIRKEDAL, LARS, DREYER, DEREKVolume:
28
Year:
2018
Language:
english
Journal:
Journal of Functional Programming
DOI:
10.1017/S0956796818000151
File:
PDF, 761 KB
english, 2018