Abstract Compilation: A New Implementation Paradigm for Static Analysis
No abstract available.
Related papers
- The Cost of Dynamism in Static Languages for Image Processing GPCE 2022
- Static Type Analysis by Abstract Interpretation of Python Programs ECOOP 2020
- A Multi-target, Multi-paradigm DSL Compiler for Algorithmic Graph Processing SLE 2022
- Refining semantics for multi-stage programming GPCE 2017
- Choral: Object-oriented Choreographic Programming TOPLAS 2024
- Combinations of Abstract Domains for Logic Programming POPL 1994
- Ensuring Safety in Automotive Machine Learning Inference: From Pre-validated Static Kernels to Machine Learning Graph Compilation CAV 2026
- Code optimization of parallel programs: evolutionary vs. revolutionary approaches CGO 2008