Pages that link to "Item:Q435974"
From MaRDI portal
The following pages link to Acceleration of the abstract fixpoint computation in numerical program analysis (Q435974):
Displaying 7 items.
- Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case (Q888469) (← 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)
- Abstract Semantic Differencing for Numerical Programs (Q2870770) (← links)
- Learning a Strategy for Choosing Widening Thresholds from a Large Codebase (Q3179275) (← links)
- Sound Numerical Computations in Abstract Acceleration (Q5086230) (← links)
- Bounded Fixed-Point Iteration (Q5285983) (← links)