The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
From MaRDI portal
Publication:4245932
Recommendations
Cited in
(56)- scientific article; zbMATH DE number 1497831 (Why is no real title available?)
- A non-termination criterion for binary constraint logic programs
- On proving left termination of constraint logic programs
- scientific article; zbMATH DE number 1696809 (Why is no real title available?)
- An assertion language for slicing constraint logic languages
- scientific article; zbMATH DE number 1456952 (Why is no real title available?)
- scientific article; zbMATH DE number 826301 (Why is no real title available?)
- scientific article; zbMATH DE number 683344 (Why is no real title available?)
- CLP(\(\mathsf{H}\)): constraint logic programming for hedges
- scientific article; zbMATH DE number 1113818 (Why is no real title available?)
- scientific article; zbMATH DE number 1926617 (Why is no real title available?)
- Concolic testing in CLP
- Algèbres effectives dans la programmation logique avec contraintes
- CAL: A theoretical background of constraint logic programming and its applications
- Constraint logic programming for hedges: a semantic reconstruction
- Tree dimension in verification of constrained Horn clauses
- A new generic scheme for functional logic programming with constraints
- The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
- A semantics for hybrid probabilistic logic programs with function symbols
- Selective Unification in (Constraint) Logic Programming*
- Attributed Graph Constraints
- Unfolding and fixpoint semantics of concurrent constraint logic programs
- scientific article; zbMATH DE number 4128359 (Why is no real title available?)
- Derivation of efficient logic programs by specialization and reduction of nondeterminism
- An algebraic perspective of constraint logic programming
- A concurrent operational semantics for constraint functional logic programming
- Applying constraint logic programming to SQL semantic analysis
- Totally correct logic program transformations via well-founded annotations
- A new probabilistic constraint logic programming language based on a generalised distribution semantics
- Logic programs with stable model semantics as a constraint programming paradigm
- Encoding abstract syntax without fresh names
- CR-Prolog as a Specification Language for Constraint Satisfaction Problems
- scientific article; zbMATH DE number 5198932 (Why is no real title available?)
- Semantics of temporal constrained objects
- Founded semantics and constraint semantics of logic rules
- scientific article; zbMATH DE number 2031599 (Why is no real title available?)
- scientific article; zbMATH DE number 2031626 (Why is no real title available?)
- Anti-unification in constraint logic programming
- Proving correctness of constraint logic programs with dynamic scheduling
- Observable Semantics for Constraint Logic Programs
- A functorial framework for constraint normal logic programming
- Contextual equivalence for inductive definitions with binders in higher order typed functional programming
- A Functorial Framework for Constraint Normal Logic Programming
- An iterative approach to precondition inference using constrained Horn clauses
- A transformation-based implementation for CLP with qualification and proximity
- Inference in probabilistic logic programs with continuous random variables
- Constraint and Logic Programming: Ugo Montanari’s Main Contributions and Introduction to the Volume Section
- A necessary condition for constructive negation in constraint logic programming
- HM(X) type inference is CLP(X) solving
- On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP
- On quantified linear implications
- Constraint logic programming for reasoning about discrete event processes
- Analysis and Transformation of Constrained Horn Clauses for Program Verification
- A declarative semantics for CLP with qualification and proximity
- scientific article; zbMATH DE number 1980915 (Why is no real title available?)
- Generalization-Driven Semantic Clone Detection in CLP
This page was built for publication: The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4245932)
