Tableaux and Resource Graphs for Separation Logic

Separation logic: a logic for shared mutable data structures

John Reynolds · 2003 · 2.1K citations

Engineering, Structured Data, Computer Architecture +18

BI as an assertion language for mutable data structures

Samin Ishtiaq, Peter W. O’Hearn · ACM SIGPLAN Notices · 2011 · 496 citations

Intuitionistic Logic, Engineering, Classical Logic +23

The Logic of Bunched Implications

Peter W. O’Hearn, David Pym · Bulletin of Symbolic Logic · 1999 · 468 citations

Intuitionistic Logic, Paraconsistent Logic, Engineering +16

Permission accounting in separation logic

Richard Bornat, Cristiano Calcagno, Peter W. O’Hearn et al. · 2005 · 367 citations

Engineering, Computer Architecture, Confidentiality +25

Anytime, anywhere

Luca Cardelli, Andrew D. Gordon · 2000 · 349 citations

Architectural Design, Engineering, Spatialtemporal Reasoning +9