Journal of Logic Programming, Volume 37

Volume 37, Numbers 1-3, October 1998

Theory

Joxan Jaffar, Michael J. Maher, Kim Marriott, Peter J. Stuckey:
The Semantics of Constraint Logic Programs. 1-46
Jürgen Dix, Frieder Stolzenburg:
A Framework to Incorporate Non-Monotonic Reasoning Into Constraint Logic Programming. 47-76
Frédéric Mesnard, Sébastien Hoarau, Alexandra Maillard:
CLP(chi) for Automatically Proving Program Properties. 77-93

Language Design

Thom W. Frühwirth:
Theory and Practice of Constraint Handling Rules. 95-138
Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville:
Design, Implementation, and Evaluation of the Constraint Language cc(FD). 139-164
Olivier Lhomme, Arnaud Gotlieb, Michel Rueher:
Dynamic Optimization of Interval Narrowing Algorithms. 165-183
François Fages, Julian Fowler, Thierry Sola:
Experiments in Reactive Constraint Logic Programming. 185-212

Implementation

Henning Christiansen:
Automated Reasoning with a Constraint-Based Metainterpreter. 213-254
Nirad Sharma, Robert M. Colomb:
Mechanising Shared Configuration and Diagnosis Theories Through Constraint Logic Programming. 255-283

Last update Thu May 23 19:09:41 2013 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page