Pages that link to "Item:Q5415621"
From MaRDI portal
The following pages link to Building Certified Static Analysers by Modular Construction of Well-founded Lattices (Q5415621):
Displaying 6 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)
- (Q4471721) (← links)
- Structural Abstract Interpretation: A Formal Study Using Coq (Q5191090) (← links)
- Programming Languages and Systems (Q5308711) (← links)