Widening Operators for Weakly-Relational Numeric Abstractions
Abstract elided by the publisher.
Related papers
- An Abstract Domain for Trees with Numeric Relations ESOP 2019
- A Few Graph-Based Relational Numerical Abstract Domains SAS 2002
- Relational inductive shape analysis POPL 2008
- Efficient Abstract Interpretation via Selective Widening OOPSLA 2025
- Precise Widening Operators for Proving Termination by Abstract Interpretation TACAS 2017
- CLOTHO: directed test generation for weakly consistent database systems OOPSLA 2019
- Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation ECOOP 2021
- Combining Widening and Acceleration in Linear Relation Analysis SAS 2006