Executing Verified Compiler Specification
No abstract available.
Related papers
- A formally verified compiler for Lustre PLDI 2017
- Towards efficient and verified virtual machines for dynamic languages CPP 2021
- Mechanized semantics and verified compilation for a dataflow synchronous language with reset POPL 2020
- Verified compilation of CakeML to multiple machine-code targets CPP 2017
- Verifiable and Executable Logic Specifications of Concurrent Objects in Lpi ESOP 1998
- Verifying Executable Object-Oriented Specifications with Separation Logic ECOOP 2010
- Weaver: A Retargetable Compiler Framework for FPQA Quantum Architectures CGO 2025
- TraceLinking Implementations with Their Verified Designs OOPSLA 2025