Declarative modeling of the operational behavior of logic languages
From MaRDI portal
(Redirected from Publication:913530)
Recommendations
Cites work
- scientific article; zbMATH DE number 3872640 (Why is no real title available?)
- scientific article; zbMATH DE number 3945331 (Why is no real title available?)
- scientific article; zbMATH DE number 4037276 (Why is no real title available?)
- A fixpoint semantics of Horn sentences based on substitution sets
- Contributions to the Theory of Logic Programming
- Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
- The Semantics of Predicate Logic as a Programming Language
- Toward a declarative semantics for infinite objects in logic programming
- Unit Refutations and Horn Sets
Cited in
(49)- Fast offline partial evaluation of logic programs
- A compositional semantics for logic programs
- S-semantics for logic programming: a retrospective look
- A declarative semantics of flat guarded Horn clauses for programs with perpetual processes
- Finite failures and partial computations in concurrent logic languages
- On computability by logic programs
- Coalgebraic semantics for parallel derivation strategies in logic programming
- On Correctness and Completeness of an n Queens Program
- Description, implementation, and evaluation of a generic design for tabled CLP
- Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation
- Unfolding and fixpoint semantics of concurrent constraint logic programs
- Constraint logic programming with dynamic scheduling: A semantics based on closure operators
- Declarative debugging of functional logic programs
- A compact fixpoint semantics for term rewriting systems
- A declarative approach for first-order built-in's of Prolog
- Type dependencies for logic programs using ACI-unification
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
- A new generic scheme for functional logic programming with constraints
- Bottom-up abstract interpretation of logic programs
- scientific article; zbMATH DE number 936829 (Why is no real title available?)
- An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations.
- Fully abstract compositional semantics for an algebra of logic programs
- The powerset operator on abstract interpretations
- Unfolding and fixpoint semantics of concurrent constraint logic programs
- Logic Foundations of the OCL Modelling Language
- A denotational semantics and dataflow construction for logic programs
- A model-theoretic reconstruction of the operational semantics of logic programs
- scientific article; zbMATH DE number 823595 (Why is no real title available?)
- S-semantics -- an example
- Abstract interpretation of resolution-based semantics
- Efficient bottom-up execution of logic programs using abstract interpretation
- An integrated framework for the diagnosis and correction of rule-based programs
- Comparative semantics for flow of control in logic programming without logic
- Is there an axiomatic semantics for standard pure Prolog?
- Algebraic methods in the compositional analysis of logic programs
- Constrained dependencies
- Transforming constraint logic programs
- A theory of observables for logic programs
- Compositionality properties of SLD-derivations
- scientific article; zbMATH DE number 4180815 (Why is no real title available?)
- Nondeterminism and infinite computations in constraint programming
- A new framework for declarative programming
- Semantic models for concurrent logic languages
- A debugging scheme for functional logic programs
- The reduced relative power operation on abstract domains
- Institutions for logic programming
- SLDNF resolution with non-safe rule and fixpoint semantics for general logic programs
- Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements
- From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic
This page was built for publication: Declarative modeling of the operational behavior of logic languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q913530)
