Lifting Numeric Relational Domains to Algebraic Data Types
No abstract available.
Related papers
- An Abstract Domain for Trees with Numeric Relations ESOP 2019
- DelExp: A Relational Container Abstraction: with Applications to Compositional Analysis ECOOP 2026
- A Few Graph-Based Relational Numerical Abstract Domains SAS 2002
- Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation ECOOP 2021
- An abstract memory functor for verified C static analyzers ICFP 2016
- DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types OOPSLA 2026
- QRANE: lifting QASM programs to an affine IR CC 2022
- The power of Pi ICFP 2008