Scallina: Translating Verified Programs from Coq to Scala
No abstract available.
Related papers
- A Verified Foreign Function Interface between Coq and C POPL 2025
- Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report) ICFP 2018
- Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code JFP 2021
- Verified programming of Turing machines in Coq CPP 2020
- Translating canonical SQL to imperative code in Coq OOPSLA 2022
- Formal verification of translation validators: a case study on instruction scheduling optimizations POPL 2008
- Total Haskell is reasonable Coq CPP 2018
- ιDOT: a DOT calculus with object initialization OOPSLA 2020