Hoare Logic for Realistically Modelled Machine Code
No abstract available.
Related papers
- Relational Hoare Logic for Realistically Modelled Machine Code CAV 2025
- AUSPICE-R: Automatic Safety-Property Proofs for Realistic Features in Machine Code APLAS 2016
- Code Generation for Expressions with Common Subexpressions POPL 1976
- Certified assembly programming with embedded code pointers POPL 2006
- Realistic Compilation by Program Transformation POPL 1989
- Crowfoot: A Verifier for Higher-Order Store Programs VMCAI 2012
- A Provably Correct Compiler Generator ESOP 1992
- Code Generation for Machines with Multiregister Operations POPL 1977