Pilsner
From MaRDI portal
Software:31827
swMATH20004MaRDI QIDQ31827FDOQ31827
Author name not available (Why is that?)
Cited In (7)
- Safe functional systems through integrity types and verified assembly
- Pilsner: a compositionally verified compiler for a higher-order imperative language
- A verified compiler from Isabelle/HOL to CakeML
- Refinement through restraint: bringing down the cost of verification
- The verified CakeML compiler backend
- Trace-relating compiler correctness and secure compilation
- A higher-order abstract syntax approach to verified transformations on functional programs
This page was built for software: Pilsner
