Pages that link to "Item:Q988565"
From MaRDI portal
The following pages link to Pentagons: a weakly relational abstract domain for the efficient validation of array accesses (Q988565):
Displaying 12 items.
- Incremental closure for systems of two variables per inequality (Q1733055) (← links)
- Relational string abstract domains (Q2152641) (← links)
- A flow-insensitive-complete program representation (Q2152650) (← links)
- Exact join detection for convex polyhedra and other numerical abstractions (Q2269830) (← links)
- Widening and narrowing operators for abstract interpretation (Q2275526) (← links)
- Template polyhedra and bilinear optimization (Q2322312) (← links)
- Relational abstract domain of weighted hexagons (Q2814105) (← links)
- Generalizing the Template Polyhedral Domain (Q3000579) (← links)
- Static Contract Checking with Abstract Interpretation (Q3067530) (← links)
- Generic Abstraction of Dictionaries and Arrays (Q5170171) (← links)
- Sweeping in Abstract Interpretation (Q5170178) (← links)
- Clustered relational thread-modular abstract interpretation with local traces (Q6535225) (← links)