6 citations · 8 across the 15 of their papers we have counts for
1 paper · 1 filter
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…