The following pages link to A demonstrably correct compiler (Q749202):
Displaying 6 items.
- Correct hardware synthesis (Q766178) (← links)
- Deriving correctness properties of compiled code (Q1309251) (← links)
- Specification, verification and prototyping of an optimized compiler (Q1346607) (← links)
- Provably correct code generation: a case study (Q2849553) (← links)
- Calculating correct compilers (Q5371953) (← links)
- A Completely Verified Realistic Bootstrap Compiler (Q5696931) (← links)