Provably Correct Compiler Development and Implementation
No abstract available.
Related papers
- A Provably Correct Compiler Generator ESOP 1992
- Provably correct peephole optimizations with alive PLDI 2015
- Verified validation of lazy code motion PLDI 2009
- Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation POPL 2022
- Seam: provably safe local edits on graphs OOPSLA 2017
- Reasoning about a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management TOPLAS 2020
- Automatic Test Case Generation for Jasper App HDL Compiler: An Industry Experience CC 2025
- CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors PLDI 2007