scientific article; zbMATH DE number 7204954
From MaRDI portal
Publication:5111651
DOI10.4230/LIPIcs.CONCUR.2017.37zbMath1442.03013MaRDI QIDQ5111651
Taolue Chen, Zhilin Wu, Fu Song
Publication date: 27 May 2020
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70) Data structures (68P05)
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- On the almighty wand
- Automated verification of shape, size and bag properties via user-defined predicates in separation logic
- A decision procedure for separation logic in SMT
- Biabduction (and related problems) in array separation logic
- Satisfiability of compositional separation logic with tree predicates and data constraints
- Compositional Entailment Checking for a Fragment of Separation Logic
- A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints
- Model checking for symbolic-heap separation logic with inductive predicates
- Tractable Reasoning in a Fragment of Separation Logic
- Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic
- Deciding Entailments in Inductive Separation Logic with Tree Automata
- On Automated Lemma Generation for Separation Logic with Inductive Definitions
- Satisfiability Modulo Heap-Based Programs
- A decision procedure for satisfiability in separation logic with inductive predicates
- The Tree Width of Separation Logic with Recursive Definitions
- Automated Cyclic Entailment Proofs in Separation Logic
- Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction
- Foundations for Decision Problems in Separation Logic with General Inductive Predicates
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- Programming Languages and Systems
