Pages that link to "Item:Q1803658"

The following pages link to A model-theoretic reconstruction of the operational semantics of logic programs (Q1803658):

Displaying 15 items.

• An integrated framework for the diagnosis and correction of rule-based programs (Q604477) (← links)
• A new generic scheme for functional logic programming with constraints (Q880985) (← links)
• Declarative modeling of the operational behavior of logic languages (Q913530) (← links)
• S-semantics for logic programming: a retrospective look (Q1035702) (← links)
• Abstract interpretation of resolution-based semantics (Q1035705) (← links)
• Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements (Q1275821) (← links)
• A new framework for declarative programming (Q1399960) (← links)
• Type dependencies for logic programs using ACI-unification (Q1575243) (← links)
• An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations. (Q1853617) (← links)
• Model reconciliation in logic programs (Q2055814) (← links)
• Declarative debugging of functional logic programs (Q2841221) (← links)
• A debugging scheme for functional logic programs (Q2841284) (← links)
• A declarative debugging system for lazy functional logic programs (Q2841290) (← links)
• Structural operational semantics and modal logic, revisited (Q2919456) (← links)
• Unfolding and fixpoint semantics of concurrent constraint logic programs (Q5096197) (← links)