A simple separation logic

DOI10.1007/978-3-642-39992-3_16MaRDI QIDQ2849430zbMATH OpenOpenAlexFDO

Authors Andreas Herzig

Publication date 17 September 2013

Published in Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-39992-3_16

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• A separation logic with data: small models and automation
• Resource separation in dynamic logic of propositional assignments
• Resource separation in dynamic logic of propositional assignments
• On the almighty wand

Cited in

(9)

• Complexity optimal decision procedure for a propositional dynamic logic with parallel composition
• A logic of separating modalities
• An epistemic separation logic
• Separation logics and modalities: a survey
• Separating Without Any Ambiguity.
• On temporal and separation logics
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• A public announcement separation logic
• Resource separation in dynamic logic of propositional assignments

This page was built for publication: A simple separation logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2849430)