Compositional Static Value Analysis for Higher-Order Numerical Programs
No abstract available.
Related papers
- Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation CAV 2015
- DelExp: A Relational Container Abstraction: with Applications to Compositional Analysis ECOOP 2026
- Type-based amortized resource analysis with integers and arrays JFP 2015
- Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts OOPSLA 2021
- A logical analysis of aliasing in imperative higher-order functions JFP 2007
- A logical analysis of aliasing in imperative higher-order functions ICFP 2005
- Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages PLDI 1995
- Termination analysis and call graph construction for higher-order functional programs ICFP 2007