Pages that link to "Item:Q2275526"
From MaRDI portal
The following pages link to Widening and narrowing operators for abstract interpretation (Q2275526):
Displaying 10 items.
- A minimalistic look at widening operators (Q848744) (← links)
- Improving the results of program analysis by abstract interpretation beyond the decreasing sequence (Q1620957) (← links)
- Descending chains and narrowing on template abstract domains (Q1671249) (← 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)
- Widening for Control-Flow (Q2938087) (← links)
- Sweeping in Abstract Interpretation (Q5170178) (← links)
- Stratified Static Analysis Based on Variable Dependencies (Q5170182) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5901909) (← links)