June 29, 2024 other Open access Aachen paper

A sound and complete proof system for separation logic (part 1)

DOI: 10.59350/2gkd1-c0k49 Full text (OA) OpenAlex

Abstract

A sound and complete proof system for separation logic (part 1) Download the PDF version of this article.

Authors 2

Hans-Dieter A. Hiep Aachen

Leiden University

Affiliation as printed

Leiden University
Frank S. de Boer

Cited by 0 stored of 0

References 9

Separation logic: a logic for shared mutable data structures
2003 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science Logic, programming, and type systems

2,168

citations
Iris from the ground up: A modular foundation for higher-order concurrent separation logic
2018 Journal of Functional Programming article Computer Science Logic, programming, and type systems Open access

377

citations
Word and Object
2013 The MIT Press eBooks book Arts and Humanities Philosophy, Science, and History

319

citations
Local Action and Abstract Separation Logic
2007 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science Logic, programming, and type systems

262

citations
Hybrid Logic and its Proof-Theory
2011 Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)) article Computer Science Logic, Reasoning, and Knowledge

114

citations
A Theory of Hygienic Macros
2008 Springer eBooks conference-paper Computer Science Logic, programming, and type systems

43

citations
A Decision Procedure for Separation Logic in SMT
2016 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

30

citations
A Complete Axiomatisation for Quantifier-Free Separation Logic
2021 Logical Methods in Computer Science article Computer Science Logic, programming, and type systems Open access

5

citations
W3197591012
details pending

0

citations

9 results