Pages that link to "Item:Q5716757"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5716757):
Displaying 5 items.
- Symbolic execution proofs for higher order store programs (Q287265) (← links)
- Specification patterns for reasoning about recursion through the store (Q393092) (← links)
- Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control (Q444460) (← links)
- Nested Hoare Triples and Frame Rules for Higher-Order Store (Q3644765) (← links)
- Programming Languages and Systems (Q5316569) (← links)