Fictional separation logic

DOI10.1007/978-3-642-28869-2_19MaRDI QIDQ2892740zbMATH OpenOpenAlexFDO

Authors Jonas Braband Jensen, Lars Birkedal

Publication date 22 June 2012

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-28869-2_19

zbMATH Keywords

local reasoningmodularityseparation logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Separation Logic Tutorial
• Separation Logic for Higher-Order Store
• Algebraic separation logic
• Separation logic and concurrency
• Separation logic and abstraction

Cited in

(15)

• Unifying separation logic and region logic to allow interoperability
• On the relation between concurrent separation logic and concurrent Kleene algebra
• A Kripke logical relation for effect-based program transformations
• Abstract local reasoning for concurrent libraries: mind the gap
• Tackling real-life relaxed concurrency with FSL++
• Completeness for a first-order abstract separation logic
• Separation and information hiding
• Automated theorem proving for assertions in separation logic with all connectives
• Iris from the ground up: a modular foundation for higher-order concurrent separation logic
• Bringing Order to the Separation Logic Jungle
• Reasoning about separation using abstraction and reification
• Separation logic and abstraction
• scientific article; zbMATH DE number 5589219 (Why is no real title available?)
• Separation Logic Tutorial
• Idempotent resources in separation logic. The heart of \texttt{core} in Iris

This page was built for publication: Fictional separation logic

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