Producing Certified Functional Code from Inductive Specifications
No abstract available.
DOI 10.1007/978-3-642-35308-6_9
Related papers
- Generating good generators for inductive relations POPL 2018
- A type system for certified binaries TOPLAS 2005
- Cogent: uniqueness types and certifying compilation JFP 2021
- Incremental Certified Programming OOPSLA 2025
- Deriving Specialized Program Analyses for Certifying Component-Client Conformance PLDI 2002
- The Design and Implementation of a Certifying Compiler PLDI 1998
- Certified assembly programming with embedded code pointers POPL 2006
- A certifying compiler for Java PLDI 2000