Article | Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97) | Constraint Programs Debugging: Current Activities Inside the DiSCiPl Esprit Program

Title:
Constraint Programs Debugging: Current Activities Inside the DiSCiPl Esprit Program
Author:
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:
Full text (pdf) Full text (ps)
Year:
1997
Conference:
Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97)
Issue:
001
Article no.:
010
Pages:
103-122
No. of pages:
20
Publication type:
Abstract and Fulltext
Published:
1997-09-10
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Series:
Linköping Electronic Articles in Computer and Information Science
ISSN (online):
1401-9841
Publisher:
Linköping University Electronic Press; Linköpings universitet


No abstract available

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

Author:
A. Aggoun, F. Bueno, M. Carro, P. Deransart, M. Fabris, W. Drabent, G. Ferrand, M. Hermengildo, C. Lai, J. Lloyd, J. Maluszynski, G. Puebla, A. Tessier
Title:
Constraint Programs Debugging: Current Activities Inside the DiSCiPl Esprit Program
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

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

Author:
A. Aggoun, F. Bueno, M. Carro, P. Deransart, M. Fabris, W. Drabent, G. Ferrand, M. Hermengildo, C. Lai, J. Lloyd, J. Maluszynski, G. Puebla, A. Tessier
Title:
Constraint Programs Debugging: Current Activities Inside the DiSCiPl Esprit Program
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment