Full Control-Flow Sensitivity for Definitional Interpreters
No abstract available.
Related papers
- Modular Abstract Definitional Interpreters for WebAssembly ECOOP 2023
- HMCFA: A Precise and Practical Big-Step Control Flow Analysis for Effect Handlers ICFP 2026
- Abstracting definitional interpreters (functional pearl) ICFP 2017
- Denotational Abstract Interpretation of Logic Programs TOPLAS 1994
- Goblint: A Portfolio for Mixed Flow-Sensitive Abstract Interpretation - (Competition Contribution) TACAS 2026
- Static Type Analysis by Abstract Interpretation of Python Programs ECOOP 2020
- Abstract allocation as a unified approach to polyvariance in control-flow analyses JFP 2018
- Multiple Facets for Dynamic Information Flow with Exceptions TOPLAS 2017