Pages that link to "Item:Q2796038"
From MaRDI portal
The following pages link to An Abstract Domain of Uninterpreted Functions (Q2796038):
Displaying 6 items.
- The map equality domain (Q1629967) (← links)
- Relational string abstract domains (Q2152641) (← links)
- A new abstraction framework for affine transformers (Q2322316) (← links)
- Fast approximations of quantifier elimination (Q6535528) (← links)
- Context-sensitive meta-constraint systems for explainable program analysis (Q6536146) (← links)
- Dissecting widening: separating termination from information (Q6536310) (← links)