Pages that link to "Item:Q5747638"
From MaRDI portal
The following pages link to A Certified Denotational Abstract Interpreter (Q5747638):
Displaying 5 items.
- Verified abstract interpretation techniques for disassembling low-level self-modifying code (Q287369) (← links)
- Verified functional programming of an abstract interpreter (Q2145322) (← links)
- Automatically proving termination and memory safety for programs with pointer arithmetic (Q2362494) (← links)
- Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs (Q2891399) (← links)
- Constructive Galois Connections (Q4972068) (← links)
