Pages that link to "Item:Q4593956"
From MaRDI portal
The following pages link to “Optimal” collecting semantics for analysis in a hierarchy of logic program semantics (Q4593956):
Displaying 9 items.
- Transforming semantics by abstract interpretation (Q557807) (← links)
- Abstract interpretation of resolution-based semantics (Q1035705) (← links)
- 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)
- An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations. (Q1853617) (← links)
- A theory of observables for logic programs (Q1854446) (← links)
- On collecting semantics for program analysis (Q2182314) (← links)
- Refining and compressing abstract domains (Q4572005) (← links)
