Pages that link to "Item:Q2839225"
From MaRDI portal
The following pages link to Calculating exact transitive closure for a normalized affine integer tuple relation (Q2839225):
Displaying 3 items.
- A modular static analysis approach to affine loop invariants detection (Q2814096) (← links)
- An iterative algorithm of computing the transitive closure of a union of parametrized affine integer tuple relations (Q2905312) (← links)
- An Iterative Algorithm of Computing the Transitive Closure of a Union of Parameterized Affine Integer Tuple Relations (Q3066149) (← links)