234 citations · 235 across the 6 of their papers we have counts for
1 paper · 1 filter
Zhaowei Xu
Hoare's logic is an axiomatic system of proving programs correct, which has been extended to be a separation logic to reason about mutable heap structure. We develop the most funda…