Browsing by author "Dreyer, Derek"
Now showing items 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; Timany, Amin; Chargueraud, Arthur; Dreyer, Derek (2018) -
The Future is Ours: Prophecy Variables in Separation Logic
Jung, Ralf; Lepigre, Rodolphe; Parthasarathy, Gaurav; Rapoport, Marianna; Timany, Amin; Dreyer, Derek; Jacobs, Bart (2020)