Pages that link to "Item:Q2814096"
From MaRDI portal
The following pages link to A modular static analysis approach to affine loop invariants detection (Q2814096):
Displaying 10 items.
- Computing invariants with transformers: experimental scalability and accuracy (Q281287) (← links)
- Applying abstract acceleration to (co-)reachability analysis of reactive programs (Q435977) (← links)
- Algebraic program analysis (Q832153) (← links)
- Convergence: integrating termination and abort-freedom (Q1647960) (← links)
- Using basis dependence distance vectors in the modified Floyd-Warshall algorithm (Q2355984) (← links)
- A modular static analysis approach to affine loop invariants detection (Q2814096) (← links)
- Using Basis Dependence Distance Vectors to Calculate the Transitive Closure of Dependence Relations by Means of the Floyd-Warshall Algorithm (Q2867114) (← links)
- A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows (Q5045479) (← links)
- Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach (Q5170180) (← links)
- Invariant relations for affine loops (Q6592111) (← links)