Logical Analysis of Assembly Language
No abstract available.
Related papers
- A kripke logical relation between ML and assembly POPL 2011
- Side-Effect Analysis of Assembly Code SAS 2011
- Semantic foundations for typed assembly languages TOPLAS 2010
- Certified assembly programming with embedded code pointers POPL 2006
- Relational Hoare Logic for Realistically Modelled Machine Code CAV 2025
- FunTAL: reasonably mixing a functional language with assembly PLDI 2017
- High-level separation logic for low-level code POPL 2013
- Verification of safety properties for concurrent assembly code ICFP 2004