The logic of separation logic: models and proofs
type: Item
instance of: scholarly article
title: The logic of separation logic: models and proofs
DOI: 10.1007/978-3-031-43513-3_22
author: Frank S. de Boer
author: Hans-Dieter A. Hiep
author: Stijn De Gouw
publication date: 2024-05-17T00:00:00Z
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7850756
MaRDI profile type: Publication
cites work: On the almighty wand
cites work: Predicativity and Feferman
cites work: Q4474211
cites work: Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction
cites work: Q5155678
cites work: The Bernays-Schönfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates
cites work: Tableaux and Resource Graphs for Separation Logic
cites work: The completeness of the first-order functional calculus
cites work: Completeness in the theory of types
cites work: 30 years of research and development around Coq
cites work: Completeness for a First-Order Abstract Separation Logic
cites work: Iris from the ground up: A modular foundation for higher-order concurrent separation logic
cites work: Static Analysis
cites work: Q4858033
cites work: Viper: A Verification Infrastructure for Permission-Based Reasoning
cites work: The semantics and proof theory of the logic of bunched implications
cites work: A decision procedure for separation logic in SMT
cites work: Second-Order Logic and Foundations of Mathematics
description: scientific article; zbMATH DE number 7850756