17 citations · 77 across the 18 of their papers we have counts for
1 paper · 1 filter
Stéphane Demri, Étienne Lozes, Alessio Mansutti
We present the first complete axiomatisation for quantifier-free separation logic. The logic is equipped with the standard concrete heaplet semantics and the proof system has no ex…