Pages that link to "Item:Q3719796"
From MaRDI portal
The following pages link to Toward compiler implementation correctness proofs (Q3719796):
Displayed 4 items.
- Providing a formal linkage between MDG and HOL (Q878110) (← links)
- A formally verified compiler back-end (Q2655327) (← links)
- On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention (Q5187821) (← links)
- A Completely Verified Realistic Bootstrap Compiler (Q5696931) (← links)