Compiler Generation from Relational Semantics
No abstract available.
Related papers
- Compiling with continuations, correctly OOPSLA 2021
- A Coq mechanised formal semantics for realistic SQL queries: formally reconciling SQL and bag relational algebra CPP 2019
- Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report) ICFP 2026
- Compilers and Staging Transformations POPL 1986
- Biorthogonality, step-indexing and compiler correctness ICFP 2009
- Modeling Reachability Types with Logical Relations: Semantic Type Soundness, Termination, Effect Safety, and Equational Theory OOPSLA 2025
- Closure conversion is safe for space ICFP 2019
- Semantic foundations for typed assembly languages TOPLAS 2010