Proceedings

Informal proceedings will be available at the workshop. You can find here an electronic version of the proceedings.

Individual Papers

Type Inference for CLP(FD).
Pawel Pietrzak
MOGUL: a Graphical envirionment for developing the LOGFLOW parallel Prolog system.
Peter Kacsuk, Jozsef Kovacs, and Norbert Podhorszki.
On the Design of an Automatic Tool for Prolog Program Verification.
Agostino Cortesi, Baudouin Le Charlier, Christophe Leclere, and Sabina Rossi
An operational model for the SCLP language.
Stefano Bistarelli and Elvinia Riccobene
Modular Abstract Diagnosis.
Marco Comini, Giorgio Levi, and Giuliana Vitiello
An Assertion Language for Debugging of Constraint Logic Programs.
German Puebla, Francisco Bueno, and Manuel Hermenegildo
Towards Structuring the Constraint Store.
Frederic Benhamou and Frederic Goualard.
The ECCE Partial Deduction System.
Michael Leuschel
The TUFF train scheduler.
Per Kreuger
The DiSCiPl ESPRIT Project.
Pierre Deransart

Proceedings Including All Papers

Can be obtained together with the introduction and table of contents of the hardcopy proceedings in a tar file composed of gzipped postcript files.

Back to Tools and Environments for (Constraint) Logic Programming

tools-env97@dia.upm.es