Pages that link to "Item:Q1605228"
From MaRDI portal
The following pages link to Logical optimality of groundness analysis (Q1605228):
Displaying 12 items.
- Transforming semantics by abstract interpretation (Q557807) (← links)
- Deriving escape analysis by abstract interpretation (Q857916) (← links)
- The quotient of an abstract interpretation (Q1128983) (← links)
- The reduced relative power operation on abstract domains (Q1285656) (← links)
- Optimal domains for disjunctive abstract interpretation (Q1818325) (← 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)
- A Critical Overview of the Most Recent Logics of Grounding (Q3295827) (← links)
- (Q4518882) (← links)
- Worst-case groundness analysis using positive Boolean functions (Q4719376) (← links)