A model-theoretic reconstruction of the operational semantics of logic programs
From MaRDI portal
Publication:1803658
DOI10.1006/INCO.1993.1015zbMATH Open0788.68088OpenAlexW2054839338MaRDI QIDQ1803658FDOQ1803658
Authors: M. Falaschi, Giorgio Levi, M. Martelli, Catuscia Palamidessi 
Publication date: 29 June 1993
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1993.1015
Recommendations
Cited In (21)
- Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements
- A new framework for declarative programming
- Structural operational semantics and modal logic, revisited
- Title not available (Why is that?)
- Relating models of backtracking
- Title not available (Why is that?)
- A new generic scheme for functional logic programming with constraints
- An integrated framework for the diagnosis and correction of rule-based programs
- Declarative modeling of the operational behavior of logic languages
- S-semantics for logic programming: a retrospective look
- Model reconciliation in logic programs
- Title not available (Why is that?)
- Enumeration operators and modular logic programming
- An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations.
- Unfolding and fixpoint semantics of concurrent constraint logic programs
- Title not available (Why is that?)
- Abstract interpretation of resolution-based semantics
- A debugging scheme for functional logic programs
- Type dependencies for logic programs using ACI-unification
- A declarative debugging system for lazy functional logic programs
- Declarative debugging of functional logic programs
This page was built for publication: A model-theoretic reconstruction of the operational semantics of logic programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1803658)
