41 citations · 104 across the 19 of their papers we have counts for
1 paper · 2 filters
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…