Pages that link to "Item:Q2981953"
From MaRDI portal
The following pages link to Pilsner: a compositionally verified compiler for a higher-order imperative language (Q2981953):
Displayed 4 items.
- Safe functional systems through integrity types and verified assembly (Q2220814) (← links)
- A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs (Q2802499) (← links)
- The verified CakeML compiler backend (Q4972072) (← links)
- Trace-Relating Compiler Correctness and Secure Compilation (Q5041085) (← links)