Pages that link to "Item:Q2814105"
From MaRDI portal
The following pages link to Relational abstract domain of weighted hexagons (Q2814105):
Displaying 7 items.
- Discovering invariants via simple component analysis (Q435979) (← links)
- Pentagons: a weakly relational abstract domain for the efficient validation of array accesses (Q988565) (← links)
- On the efficiency of convex polyhedra (Q2130564) (← links)
- TreeKs: A Functor to Make Numerical Abstract Domains Scalable (Q5170170) (← 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)