Pages that link to "Item:Q2796038"

The following pages link to An Abstract Domain of Uninterpreted Functions (Q2796038):

Displaying 3 items.

• The map equality domain (Q1629967) (← links)
• Relational string abstract domains (Q2152641) (← links)
• A new abstraction framework for affine transformers (Q2322316) (← links)