Pages that link to "Item:Q5415621"

The following pages link to Building Certified Static Analysers by Modular Construction of Well-founded Lattices (Q5415621):

Displayed 4 items.

• Verified abstract interpretation techniques for disassembling low-level self-modifying code (Q287369) ‎ (← links)
• Extracting a data flow analyser in constructive logic (Q2566027) ‎ (← links)
• Certified Static Analysis by Abstract Interpretation (Q3184788) ‎ (← links)
• Structural Abstract Interpretation: A Formal Study Using Coq (Q5191090) ‎ (← links)