Pages that link to "Item:Q1803658"
From MaRDI portal
The following pages link to A model-theoretic reconstruction of the operational semantics of logic programs (Q1803658):
Displayed 12 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)
- 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)
- Declarative Debugging of Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Accóon Integrada Hispano-Italiana HI2000-0161 and by Generalitat Valenciana under grant GV01-424. (Q2841221) (← links)
- A Debugging Scheme for Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Acción Integrada Hispano-Italiana HI2000-0161, Acción Integrada Hispano-Alemana HA2001-0059 and by Generalitat Valenci (Q2841284) (← links)
- A Declarative Debugging System for Lazy Functional Logic Programs (Q2841290) (← links)
- Unfolding and fixpoint semantics of concurrent constraint logic programs (Q5096197) (← links)