Pages that link to "Item:Q4593956"

The following pages link to “Optimal” collecting semantics for analysis in a hierarchy of logic program semantics (Q4593956):

Displayed 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)