Browsing by Author "Krebbers, Robert"

Now showing 1 - 2 of 2

Interactive proofs in higher-order concurrent separation logic

Krebbers, Robert
;
Timany, Amin
;
Birkedal, Lars
Journal article
2017, ACM SIGPLAN Notices, (52) 1, p.205-217
MoSeL: A general, extensible modal framework for interactive proofs in separation logic

Krebbers, Robert
;
Jourdan, Jacques-Henri
;
Jung, Ralf
;
Tassarotti, Joseph
;
Kaiser, Jan-Oliver
Proceedings paper
2018, International Conference on Functional Programming (ICFP), 23/09/2018, p.Art. 77