The following pages link to Types for Proofs and Programs (Q5898176):
Displayed 4 items.
- Verified abstract interpretation techniques for disassembling low-level self-modifying code (Q287369) (← links)
- A formally verified compiler back-end (Q2655327) (← links)
- Certified Static Analysis by Abstract Interpretation (Q3184788) (← links)
- Building Certified Static Analysers by Modular Construction of Well-founded Lattices (Q5415621) (← links)