A Separation Logic for a Promising Semantics.

Kasper Svendsen, Jean Pichon-Pharabod, Marko Doko, Ori Lahav, Viktor Vafeiadis

Browse the full ESOP paper archive.