Pages that link to "Item:Q5348933"
From MaRDI portal
The following pages link to Certified assembly programming with embedded code pointers (Q5348933):
Displayed 9 items.
- Symbolic execution proofs for higher order store programs (Q287265) (← links)
- Certifying assembly programs with trails (Q352100) (← links)
- Specification patterns for reasoning about recursion through the store (Q393092) (← links)
- Function extraction (Q436372) (← links)
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) (Q832157) (← links)
- A compositional natural semantics and Hoare logic for low-level languages (Q877026) (← links)
- On models of higher-order separation logic (Q2130583) (← links)
- Crowfoot: A Verifier for Higher-Order Store Programs (Q2891407) (← links)
- Specification Patterns and Proofs for Recursion through the Store (Q3088293) (← links)