Footprints in Local Reasoning
From MaRDI portal
Publication:5458360
DOI10.1007/978-3-540-78499-9_15zbMath1139.68020arXiv0903.1032OpenAlexW2171375973MaRDI QIDQ5458360
Philippa Gardner, Mohammad Raza
Publication date: 11 April 2008
Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0903.1032
Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Spatial-behavioral types for concurrency and resource control in distributed systems, Separation Logic Semantics for Communicating Processes
Cites Work
- Unnamed Item
- Unnamed Item
- Possible worlds and resources: The semantics of \(\mathbf{BI}\)
- The semantics and proof theory of the logic of bunched implications
- Local Reasoning about Data Update
- The Logic of Bunched Implications
- The specification statement
- BI as an assertion language for mutable data structures
- Permission accounting in separation logic
- Context logic and tree update
- Shape Analysis for Composite Data Structures
- Relational Parametricity and Separation Logic
