The following pages link to Widening Polyhedra with Landmarks (Q5385594):
Displayed 5 items.
- Acceleration of the abstract fixpoint computation in numerical program analysis (Q435974) (← links)
- The two variable per inequality abstract domain (Q656848) (← links)
- Improving the results of program analysis by abstract interpretation beyond the decreasing sequence (Q1620957) (← links)
- Abstract Fixpoint Computations with Numerical Acceleration Methods (Q2814099) (← links)
- Stratified Static Analysis Based on Variable Dependencies (Q5170182) (← links)