Fictional Separation Logic

DOI10.1007/978-3-642-28869-2_19zbMath1352.68062OpenAlexW2154768716MaRDI QIDQ2892740

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

modularityseparation logiclocal reasoning

Mathematics Subject Classification ID

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

Related Items (8)

Abstract local reasoning for concurrent libraries: mind the gap ⋮ A Kripke logical relation for effect-based program transformations ⋮ Automated Theorem Proving for Assertions in Separation Logic with All Connectives ⋮ Bringing Order to the Separation Logic Jungle ⋮ Completeness for a First-Order Abstract Separation Logic ⋮ Iris from the ground up: A modular foundation for higher-order concurrent separation logic ⋮ Tackling Real-Life Relaxed Concurrency with FSL++ ⋮ On the relation between concurrent separation logic and concurrent Kleene algebra

This page was built for publication: Fictional Separation Logic