Tableaux and resource graphs for separation logic
From MaRDI portal
Publication:3406689
DOI10.1093/LOGCOM/EXN066zbMATH Open1193.03061OpenAlexW2131238121MaRDI QIDQ3406689FDOQ3406689
Authors: Didier Galmiche, Daniel Méry 
Publication date: 19 February 2010
Published in: Journal Of Logic And Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/c3211cd6e08dadd64a86447f7b549c21b0ad7809
Recommendations
Cited In (20)
- Automated theorem proving for assertions in separation logic with all connectives
- Separation logics and modalities: a survey
- On the almighty wand
- Reasoning about sequences of memory states
- A complete axiomatisation for quantifier-free separation logic
- Models and Separation Logics for Resource Trees
- Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic
- A logic of separating modalities
- Resource separation in dynamic logic of propositional assignments
- Modular labelled sequent calculi for abstract separation logics
- Expressive completeness of separation logic with two variables and no separating conjunction
- Resource graphs and countermodels in resource logics
- Modular tableaux calculi for separation theories
- Graphical models of separation logic
- A modal BI logic for dynamic resource properties
- Separation logic with one quantified variable
- Completeness for a first-order abstract separation logic
- On the Almighty Wand
- Title not available (Why is that?)
- The logic of separation logic: models and proofs
Uses Software
This page was built for publication: Tableaux and resource graphs for separation logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3406689)
