Reduced Product Combination of Abstract Domains for Shapes
No abstract available.
Related papers
- Reduced Products of Abstract Domains for Fairness Certification of Neural Networks SAS 2021
- Synthesizing Abstract Transformers for Reduced-Product Domains SAS 2024
- A Product of Shape and Sequence Abstractions SAS 2023
- Relational inductive shape analysis POPL 2008
- Arithmetizing Shape Analysis CAV 2025
- Combinations of Abstract Domains for Logic Programming POPL 1994
- An Abstract Domain for Trees with Numeric Relations ESOP 2019
- A Logical Product Approach to Zonotope Intersection CAV 2010