Graphical models of separation logic

DOI10.1016/j.ipl.2009.06.003zbMath1200.68153OpenAlexW2140718029MaRDI QIDQ989553

Ian Wehrman, Peter W. O'Hearn, C. A. R. Hoare

Publication date: 20 August 2010

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2009.06.003

zbMATH Keywords

formal semanticsconcurrency

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55)

Related Items (11)

Developments in concurrent Kleene algebra ⋮ Algebra Unifies Operational Calculi ⋮ The Laws of Programming Unify Process Calculi ⋮ Exploring an Interface Model for CKA ⋮ A relation-algebraic approach to the ``Hoare logic of functional dependencies ⋮ In praise of algebra ⋮ Unifying Semantics for Concurrent Programming ⋮ Concurrent Kleene algebra and its foundations ⋮ Graphical models of separation logic ⋮ Constructing the Views Framework ⋮ Generic Models of the Laws of Programming

Uses Software

• SLMC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A calculus and logic of resources and processes
• Resources, concurrency, and local reasoning
• Graphical models of separation logic
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• A spatial logic for concurrency. I
• Context logic as modal logic
• An axiomatic basis for computer programming

This page was built for publication: Graphical models of separation logic