Browsing by Author "Dreyer, Derek"

Now showing 1 - 2 of 2

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
The Future is Ours: Prophecy Variables in Separation Logic

Jung, Ralf
;
Lepigre, Rodolphe
;
Parthasarathy, Gaurav
;
Rapoport, Marianna
;
Timany, Amin
Journal article
2020, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 4