A decision procedure for satisfiability in separation logic with inductive predicates-Reference-Cited by-同舟云学术

A decision procedure for satisfiability in separation logic with inductive predicates

Published:2014-07-14 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
language:
Short-container-title:

Author:

Brotherston James¹,Fuhs Carsten¹,Pérez Juan A. Navarro¹,Gorogiannis Nikos²

Affiliation:

1. University College London

2. Middlesex University London

Funder

Engineering and Physical Sciences Research Council

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2603088.2603091

Reference27 articles.

1. Satisfiability checker for separation logic with inductive definitions. https://github.com/ngorogiannis/cyclist/releases/tag/CSL-LICS14. Satisfiability checker for separation logic with inductive definitions. https://github.com/ngorogiannis/cyclist/releases/tag/CSL-LICS14.

2. LNCS;Antonopoulos T.,2014

3. A Decidable Fragment of Separation Logic

4. LNCS;Berdine J.,2007

5. LNCS;Berdine J.,2011

Cited by 39 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An EXPTIME-Complete Entailment Problem in Separation Logic;Lecture Notes in Computer Science;2024

2. The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions;Journal of Logic and Computation;2023-12-07

3. A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions;ACM Transactions on Computational Logic;2023-01-18

4. Testing the Satisfiability of Formulas in Separation Logic with Permissions;Lecture Notes in Computer Science;2023

5. Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems;Automated Reasoning;2022