Pages that link to "Item:Q1605228"
From MaRDI portal
The following pages link to Logical optimality of groundness analysis (Q1605228):
Displayed 7 items.
- Transforming semantics by abstract interpretation (Q557807) (← links)
- Deriving escape analysis by abstract interpretation (Q857916) (← links)
- The reduced relative power operation on abstract domains (Q1285656) (← links)
- A theory of observables for logic programs (Q1854446) (← links)
- Pair-independence and freeness analysis through linear refinement. (Q1873754) (← links)
- Optimality and condensing of information flow through linear refinement (Q2464935) (← links)
- Conjunctive Abstract Interpretation Using Paramodulation (Q2961582) (← links)