Abstract Interpretation over Infinite Abstract Domains (Tentative Report)
No abstract available.
Related papers
- Limits and Difficulties in the Design of Under-Approximation Abstract Domains TOPLAS 2024
- Abstract Interpretation by Dynamic Partitioning JFP 1992
- Efficient Abstract Interpretation via Selective Widening OOPSLA 2025
- Abstract Interpretation over Non-lattice Abstract Domains SAS 2013
- Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG TOPLAS 1994
- Calculational Design of Hyperlogics by Abstract Interpretation POPL 2025
- Lifting abstract interpreters to quantified logical domains POPL 2008
- Combining abstract interpreters PLDI 2006