Searching for "On Termination of Constraint Logic Programs." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
On Termination of Constraint Logic Programs
- …On Termination of Constraint Logic Programs Livio Colussi 1 , Elena Marchiori 2 , Massimo…
- Cited by 11 (2 self) – Add To MetaCart
-
Inferring and Compiling Termination for Constraint Logic Programs
- …Inferring and Compiling Termination for Constraint Logic Programs S'ebastien Hoarau, Fred Mesnard…
- Add To MetaCart
-
On Proving Left Termination of Constraint Logic Programs
- …On Proving Left Termination of Constraint Logic Programs FRED MESNARD Iremia, Universite de La…
- Cited by 13 (6 self) – Add To MetaCart
-
Inferring Left-terminating Classes of Queries for Constraint Logic Programs
- …Inferring Left-terminating Classes of Queries for Constraint Logic Programs Fred Mesnard Iremia…
- Cited by 28 (13 self) – Add To MetaCart
-
Complexity of the CHR rational tree equation solver
- … measures are also called norms in the literature on termination of constraint logic programs. 4 Constraint…
- Cited by 2 (2 self) – Add To MetaCart
-
constraints
- … relational calculus. On the other hand, the termination of constraint logic programs is not guaranteed…
- Cited by 9 (0 self) – Add To MetaCart
-
Proving Correctness of Constraint Logic Programs with Dynamic Scheduling
- … and to enforce termination. In Constraint Logic Programming (CLP for short) they are used also to postpone…
- Cited by 6 (2 self) – Add To MetaCart
Showing 1 through 7.
