Pages that link to "Item:Q3613364"
From MaRDI portal
The following pages link to Separation Logic for Higher-Order Store (Q3613364):
Displaying 4 items.
- Symbolic execution proofs for higher order store programs (Q287265) (← links)
- Weak updates and separation logic (Q1758657) (← links)
- Automated Theorem Proving for Assertions in Separation Logic with All Connectives (Q3454118) (← links)
- Nested Hoare Triples and Frame Rules for Higher-Order Store (Q3644765) (← links)
