Pages that link to "Item:Q3557840"
From MaRDI portal
The following pages link to A Semantic Foundation for Hidden State (Q3557840):
Displaying 4 items.
- Symbolic execution proofs for higher order store programs (Q287265) (← links)
- Specification patterns for reasoning about recursion through the store (Q393092) (← links)
- Crowfoot: A Verifier for Higher-Order Store Programs (Q2891407) (← links)
- Realisability semantics of parametric polymorphism, general references and recursive types (Q3583027) (← links)