Pages that link to "Item:Q5408443"
From MaRDI portal
The following pages link to A proof system for separation logic with magic wand (Q5408443):
Displaying 7 items.
- Symbolic execution proofs for higher order store programs (Q287265) (← links)
- An adaptation-complete proof system for local reasoning about cloud storage systems (Q2072067) (← links)
- Reasoning about block-based cloud storage systems via separation logic (Q2087457) (← links)
- Completeness for a First-Order Abstract Separation Logic (Q3179309) (← links)
- Automated Theorem Proving for Assertions in Separation Logic with All Connectives (Q3454118) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction (Q5277913) (← links)
