Trusted Source Translation of a Total Function Language
Abstract elided by the publisher.
Related papers
- Certificate translation for optimizing compilers TOPLAS 2009
- A verified compiler for an impure functional language POPL 2010
- Scalable validation of binary lifters PLDI 2020
- Cogent: uniqueness types and certifying compilation JFP 2021
- Cpp2Rust: Automatic Translation of C++ to Safe Rust PLDI 2026
- Extracting total Amb programs from proofs ESOP 2022
- Verifying haskell programs using constructive type theory Haskell 2005
- The Trusted Computing Base of the CompCert Verified Compiler ESOP 2022