Widening Operators for Powerset Domains
Abstract elided by the publisher.
Related papers
- Probabilistic Abstractions with Arbitrary Domains SAS 2011
- Efficient Abstract Interpretation via Selective Widening OOPSLA 2025
- Using Bounded Model Checking to Focus Fixpoint Iterations SAS 2011
- More Precise Yet Efficient Type Inference for Logic Programs SAS 2002
- Precise Widening Operators for Proving Termination by Abstract Interpretation TACAS 2017
- Precise Widening Operators for Convex Polyhedra SAS 2003
- Widening Operators for Weakly-Relational Numeric Abstractions SAS 2005
- Closed and Logical Relations for Over- and Under-Approximation of Powersets SAS 2004