Improving the static analysis of embedded languages via partial evaluation
No abstract available.
DOI 10.1145/1016850.1016857
Related papers
- Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation ICFP 2010
- Eta-Expansion Does The Trick TOPLAS 1996
- Shallow embedding of DSLs via online partial evaluation GPCE 2015
- Static and Dynamic Semantics Processing POPL 1991
- Partial Loading of Repository-Based Models through Static Analysis SLE 2022
- A Modal Analysis of Staged Computation POPL 1996
- Efficient Analysis for Realistic Off-Line Partial Evaluation JFP 1993
- PolyUFC: Polyhedral Compilation Meets Roofline Analysis for Uncore Frequency Capping CGO 2026