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
- A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs
- Pilsner: a compositionally verified compiler for a higher-order imperative language
- A verified compiler from Isabelle/HOL to CakeML
- Trace-Relating Compiler Correctness and Secure Compilation
- Refinement through restraint: bringing down the cost of verification
- The verified CakeML compiler backend
This page was built for software: Pilsner
