79 citations · 353 across the 23 of their papers we have counts for
1 paper · 1 filter
Lars Birkedal, Hongseok Yang
Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new interpretation…