41 citations · 104 across the 19 of their papers we have counts for
1 paper · 2 filters
Stéphane Demri, Etienne Lozes, Alessio Mansutti
We present a general approach to axiomatise separation logics with heaplet semantics with no external features such as nominals/labels. To start with, we design the first (internal…