Iris from the ground up: A modular foundation for higher-order concurrent separation logic 论文

2018Journal of Functional Programming引用 358
DOIPDF
Security and Verification in ComputingLogic, programming, and type systemsDistributed systems and fault tolerance
网络安全Security and Verification in ComputingLogic, programming, and type systemsDistributed systems and fault tolerance
关系图谱

Iris from the ground up: A modular foundation for higher-order concurrent separation logic · 相关文章

暂无数据