Combining Widening and Acceleration in Linear Relation Analysis
No abstract available.
Related papers
- How to combine widening and narrowing for non-monotonic systems of equations PLDI 2013
- Using Bounded Model Checking to Focus Fixpoint Iterations SAS 2011
- Efficient Abstract Interpretation via Selective Widening OOPSLA 2025
- Accelerated Data-Flow Analysis SAS 2007
- Relational inductive shape analysis POPL 2008
- Widening Operators for Weakly-Relational Numeric Abstractions SAS 2005
- Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration ESOP 2025
- Abstract acceleration of general linear loops POPL 2014