Typing Constraint Logic Programs (2001)

by Francois Fages , Emmanuel Coquery
Venue:THEORY AND PRACTICE OF LOGIC PROGRAMMING
Citations:2 - 1 self

Active Bibliography

771 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
115 S-Semantics Approach: Theory and Applications – A. Bossi, M. Gabbrielli, G. Levi, M. Martelli - 1994
BEGINNING TO END. AMONG THINGS THAT REMAIN TO BE DONE ARE: HAVING A PROPER NAMING CONVENTION FOR THE PROGRAMS IN THE EXAMPLES, – Chitta Baral - 2001
4 Constraints in Term Algebras (Short Survey) – Hubert Comon - 1993
14 A Compositional Semantics for Normal Open Programs – Sandro Etalle, Frank Teusink - 1996
1 A Semantics for Modular General Logic Programs – Sandro Etalle - 1998
28 Sets and Constraint Logic Programming – Agostino Dovier, Carla Piazza, Enrico Pontelli , Gianfranco Rossi - 2000
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
Contributing workpackages: – P. Mancarella, F. Toni, A. Bracciali, Ulle Endriss, Fariba Sadri, Francesca Toni, Andrea Bracciali, Paolo Mancarella, Giacomo Terreni, Neophytos Demetriou, Antonis Kakas, Pavlos Moraitis, Kostas Stathis, Paola Mello, Paolo Torroni, Evelina Lamma, Marco Gavanelli - 2004
9 Specification and verification of interaction protocols: a computational logic approach based on abduction – Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni - 2003
3 Constructive Negation by Pruning and Optimization Higher-order Predicates for CLP and CC Languages – François Fages, Francois Fages - 1994
23 Constructive Negation by Pruning – François Fages - 1995
3 From Constraint Minimization to Goal Optimization in CLP languages – François Fages - 1995
Author manuscript, published in "Theory and Practice of Logic Programming (2008) 1-60" 1 Theory of Finite or Infinite Trees Revisited – Khalil Djelloul, Thom Fr Ühwirth - 2008
5 A Methodological View of Constraint Solving – Hubert Comon, Mehmet Dincbas, Jean-pierre Jouannaud, Claude Kirchner - 1996
53 What is Failure? An Approach to Constructive Negation – Włodzimierz Drabent - 1994
60 A Foundation for Higher-order Concurrent Constraint Programming – Gert Smolka - 1994
8 Constructive Negation and Constraint Logic Programming with Sets – Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
2 Answer Synthesis for CLP Programs with Negation – Gilles Richard, Frédéric Saubion - 1997