The following pages link to Pilsner (Q31827):
Displaying 7 items.
- Safe functional systems through integrity types and verified assembly (Q2220814) (← links)
- A verified compiler from Isabelle/HOL to CakeML (Q2324018) (← links)
- A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs (Q2802499) (← links)
- Pilsner: a compositionally verified compiler for a higher-order imperative language (Q2981953) (← links)
- Refinement through restraint: bringing down the cost of verification (Q2982005) (← links)
- The verified CakeML compiler backend (Q4972072) (← links)
- Trace-Relating Compiler Correctness and Secure Compilation (Q5041085) (← links)