Certified assembly programming with embedded code pointers
From MaRDI portal
Publication:5348933
Recommendations
Cited in
(10)- Specification patterns for reasoning about recursion through the store
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper)
- On models of higher-order separation logic
- Symbolic execution proofs for higher order store programs
- Function extraction
- A compositional natural semantics and Hoare logic for low-level languages
- Verifying programs with logic and extended proof rules: deep embedding vs. shallow embedding
- Specification patterns and proofs for recursion through the store
- Certifying assembly programs with trails
- Crowfoot: A Verifier for Higher-Order Store Programs
This page was built for publication: Certified assembly programming with embedded code pointers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5348933)