The following pages link to (Q4414379):
Displaying 4 items.
- Verified abstract interpretation techniques for disassembling low-level self-modifying code (Q287369) (← links)
- Translation and run-time validation of loop transformations (Q812060) (← links)
- Hardware-Dependent Proofs of Numerical Programs (Q3100216) (← links)
- Certificate Translation in Abstract Interpretation (Q5458410) (← links)