Parametric completeness for separation theories

DOI10.1145/2535838.2535844MaRDI QIDQ5408441zbMATH OpenOpenAlexFDO

Authors James Brotherston, Jules Villard

Publication date 10 April 2014

Published in Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2535838.2535844

zbMATH Keywords

bunched logichybrid logicseparation logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Recommendations

• Completeness and expressiveness of pointer program verification by separation logic
• Modular tableaux calculi for separation theories
• Completeness for a first-order abstract separation logic
• A proof system for separation logic with magic wand
• Computer Science Logic

Cited in

(14)

• Modular tableaux calculi for separation theories
• Proof tactics for assertions in separation logic
• An adaptation-complete proof system for local reasoning about cloud storage systems
• A stone-type duality theorem for separation logic via its underlying bunched logics
• Stone-type dualities for separation logics
• Completeness for a first-order abstract separation logic
• Undecidability of propositional separation logic and its neighbours
• Separation logics and modalities: a survey
• Bringing Order to the Separation Logic Jungle
• On temporal and separation logics
• A complete axiomatisation for quantifier-free separation logic
• Abstract hidden Markov models: a monadic account of quantitative information flow
• An algebraic glimpse at bunched implications and separation logic
• First-order hybrid separation logic

This page was built for publication: Parametric completeness for separation theories

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