Pages that link to "Item:Q2566027"
From MaRDI portal
The following pages link to Extracting a data flow analyser in constructive logic (Q2566027):
Displaying 7 items.
- Verified abstract interpretation techniques for disassembling low-level self-modifying code (Q287369) (← links)
- A formally verified compiler back-end (Q2655327) (← links)
- A Certified Data Race Analysis for a Java-like Language (Q3183531) (← links)
- Certified Static Analysis by Abstract Interpretation (Q3184788) (← links)
- Modular development of certified program verifiers with a proof assistant, (Q3546045) (← links)
- Building Certified Static Analysers by Modular Construction of Well-founded Lattices (Q5415621) (← links)
- Control-flow analysis of function calls and returns by abstract interpretation (Q5891553) (← links)
