5 citations · 8 across the 11 of their papers we have counts for
1 paper · 1 filter
Zhé Hóu, Ranald Clouston, Rajeev Goré +1
Abstract separation logics are a family of extensions of Hoare logic for reasoning about programs that manipulate resources such as memory locations. These logics are "abstract" be…