Pages that link to "Item:Q1960538"
From MaRDI portal
The following pages link to The powerset operator on abstract interpretations (Q1960538):
Displaying 4 items.
- Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements (Q1275821) (← links)
- The reduced relative power operation on abstract domains (Q1285656) (← links)
- Logical optimality of groundness analysis (Q1605228) (← links)
- Syntactic and semantic soundness of structural dataflow analysis (Q6536282) (← links)
