Pages that link to "Item:Q656848"

The following pages link to The two variable per inequality abstract domain (Q656848):

Displaying 5 items.

• Injective convex polyhedra (Q331374) (← links)
• The two variable per inequality abstract domain (Q656848) (← links)
• Sparsity preserving algorithms for octagons (Q1650959) (← links)
• Incrementally closing octagons (Q2335904) (← links)
• Abstract interpretation of microcontroller code: intervals meet congruences (Q2442953) (← links)