Verifying an Open Compiler Using Multi-language Semantics
No abstract available.
Related papers
- CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared Stacks PLDI 2025
- Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules POPL 2024
- Certified symbolic management of financial multi-party contracts ICFP 2015
- A Compositional Semantics for Verified Separate Compilation and Linking CPP 2015
- CompCertO: compiling certified open C components PLDI 2021
- A new verified compiler backend for CakeML ICFP 2016
- Open multi-methods for c++ GPCE 2007
- Formal Verification of an SSA-Based Middle-End for CompCert TOPLAS 2014