Models and Separation Logics for Resource Trees

DOI10.1093/LOGCOM/EXM019MaRDI QIDQ5427253zbMATH OpenOpenAlexFDO

Authors Nicolas Biri, Didier Galmiche

Publication date 19 November 2007

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/4f427478df69b66d92c6e3bcf841c97102aa2d40

zbMATH Keywords

bunched implications logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• A modal separation logic for resource dynamics
• Tableaux and resource graphs for separation logic
• The semantics of BI and resource tableaux
• A separation logic with data: small models and automation

Cited in

(10)

• On models of higher-order separation logic
• Resource graphs and countermodels in resource logics
• DOM: Specification and Client Reasoning
• Tableaux and resource graphs for separation logic
• Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding
• Algebra and logic for resource-based systems modelling
• A modal separation logic for resource dynamics
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Reasoning about B+ trees with operational semantics and separation logic
• Resource separation in dynamic logic of propositional assignments

This page was built for publication: Models and Separation Logics for Resource Trees

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