Pages that link to "Item:Q2817951"
From MaRDI portal
The following pages link to A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints (Q2817951):
Displaying 5 items.
- Compositional entailment checking for a fragment of separation logic (Q1688543) (← links)
- Reasoning about block-based cloud storage systems via separation logic (Q2087457) (← links)
- Strong-separation logic (Q2233486) (← links)
- Compositional satisfiability solving in separation logic (Q2234106) (← links)
- (Q5111651) (← links)
