Pilsner
From MaRDI portal
Software:31827
No author found.
Related Items (7)
Trace-Relating Compiler Correctness and Secure Compilation ⋮ Pilsner: a compositionally verified compiler for a higher-order imperative language ⋮ Refinement through restraint: bringing down the cost of verification ⋮ Safe functional systems through integrity types and verified assembly ⋮ A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs ⋮ The verified CakeML compiler backend ⋮ A verified compiler from Isabelle/HOL to CakeML
This page was built for software: Pilsner
