Pages that link to "Item:Q2275526"
From MaRDI portal
The following pages link to Widening and narrowing operators for abstract interpretation (Q2275526):
Displaying 5 items.
- Improving the results of program analysis by abstract interpretation beyond the decreasing sequence (Q1620957) (← links)
- The abstract domain of trapezoid step functions (Q1749121) (← links)
- PPLite: zero-overhead encoding of NNC polyhedra (Q2216124) (← links)
- Twinning automata and regular expressions for string static analysis (Q2234078) (← links)
- Stratified Static Analysis Based on Variable Dependencies (Q5170182) (← links)
