Conference article

Constraint Programs Debugging: Current Activities Inside the DiSCiPl Esprit Program

A. Aggoun
Cosytec, Parc Club Orsay Universite, France

F. Bueno
Facultad de Informática, Universidad Politåcnica de Madrid, Spain

M. Carro
Facultad de Informática, Universidad Politåcnica de Madrid, Spain

P. Deransart
INRIA-Rocquencourt, Projet LOCO, France

M. Fabris
ICON s.r.l., Italy

W. Drabent
Institute of Computer Science, Polish Academy of Sciences, Poland

G. Ferrand
LIFO, University of Orlåans, France

M. Hermengildo
Facultad de Informática, Universidad Politåcnica de Madrid, Spain

C. Lai
PrologIA, Case 919, Parc Scient. et Techno. de Luminy, France

J. Lloyd
University of Bristol, UK

J. Maluszynski
Linköping University, Department of Computer and Information Science, Sweden

G. Puebla
Facultad de Informática, Universidad Politåcnica de Madrid, Spain

A. Tessier
LIFO, University of Orlåans, France

Download article

Published in: Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97)

Linköping Electronic Conference Proceedings 1:10, p. 103-122

Linköping Electronic Articles in Computer and Information Science vol. 2 1:10, p. 103-122

Show more +

Published: 1997-09-10

ISBN:

ISSN: 1650-3686 (print), 1650-3740 (online)

Abstract

No abstract available

Keywords

No keywords available

References

[CFGG95] A. Chamard; A. Fischler; D. B. Guinaudenau; A. Guillaud. CHIC Lessons on CLP Methodology. Deliverable D2.1.2.3. ESPRIT Project EP5291 “CHIC: Constraint Handling in Industry and Commerce”; 1995

[M95a] M. Meyer. Debugging Constraint Programs. Technical Report ECRC-95-15; ECRC; 1995

[M95b] M. Meier. Debugging Constraint Programs. In Principles and Practice of Constraint Programming- CP’95; Cassis; LNCS 976; Springer Verlag; pp 204-221; Sept 1995.

[Pro97] The DiSCiPl Project. CP Debugging Tools. Draft Deliverable D.WP1.1.M1.1-Part 2. ESPRIT Project LTR 22532. “DiSCiPl: Debugging Systems for Constraint Programming”. March 1997.

[SC95] H. Simonis and T. Cornelissens. Modelling Producer/Consumer Constraints. In Principles and Practice of Constraint Programming; CP’95; volume 976 of Lecture Notes in Computer Science; pages 449-463. Springer Verlag; September 1995.

[SK95] H. Simonis; P. Kay. Application Development with the CHIP System. Commercial Report; COSYTEC SA; October 1995

Citations in Crossref