Abstract Interpretation over Non-lattice Abstract Domains
No abstract available.
Related papers
- Lifting abstract interpreters to quantified logical domains POPL 2008
- Combining abstract interpreters PLDI 2006
- Efficient Abstract Interpretation via Selective Widening OOPSLA 2025
- Abstract Interpretation by Dynamic Partitioning JFP 1992
- A Parametric Abstract Domain for Lattice-Valued Regular Expressions SAS 2016
- Donut Domains: Efficient Non-convex Domains for Abstract Interpretation VMCAI 2012
- Compiling with Abstract Interpretation PLDI 2024
- A Logical Product Approach to Zonotope Intersection CAV 2010