The Correctness of a Code Generator for a Functional Language
Abstract elided by the publisher.
Related papers
- Reverse AD at Higher Types: Pure, Principled and Denotationally Correct ESOP 2021
- Integrating code generation and optimization PLDI 1986
- Automatic non-functional testing of code generators families GPCE 2016
- Specification-Driven Generation of Summaries for Symbolic Execution ESOP 2026
- CHAD: Combinatory Homomorphic Automatic Differentiation TOPLAS 2022
- A Modal Analysis of Staged Computation POPL 1996
- A New Method for Compiler Code Generation POPL 1978
- Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code ICFP 2015