27 citations · 28 across the 2 of their papers we have counts for
2 papers
cs.LO2012★ 1 cited
Verification Condition Generation and Variable Conditions in Smallfoot
Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn
These notes are a companion to [1] which describe - the variable conditions that Smallfoot checks, - the analysis used to check them, - the algorithm used to compute a set of verif…
cs.LO2010★ 27 cited
Classical BI: Its Semantics and Proof Theory
James Brotherston, Cristiano Calcagno
We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O'Hearn and Pym's logic of bunched implications BI. CBI differs from existing bunc…