8 citations · 13 across the 5 of their papers we have counts for
1 paper · 1 filter
Stéphane Demri, Etienne Lozes, Alessio Mansutti
The list segment predicate ls used in separation logic for verifying programs with pointers is well-suited to express properties on singly-linked lists. We study the effects of add…