Pages that link to "Item:Q5310672"
From MaRDI portal
The following pages link to Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages (Q5310672):
Displaying 10 items.
- Symbolic execution proofs for higher order store programs (Q287265) (← links)
- Specification patterns for reasoning about recursion through the store (Q393092) (← links)
- Towards imperative modules: reasoning about invariants and sharing of mutable state (Q854171) (← links)
- A Kripke logical relation for effect-based program transformations (Q2629855) (← links)
- On assertion-based encapsulation for object invariants and simulations (Q2643129) (← links)
- Crowfoot: A Verifier for Higher-Order Store Programs (Q2891407) (← links)
- Relational Decomposition (Q3087994) (← links)
- Specification Patterns and Proofs for Recursion through the Store (Q3088293) (← links)
- Nested Hoare Triples and Frame Rules for Higher-Order Store (Q3644765) (← links)
- Step-Indexed Kripke Model of Separation Logic for Storable Locks (Q5739354) (← links)