Debugging constraint programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 976, Issue , 1995, Pages 204-221

  Meier, Micha ^a  

^a Research Centre (ECRC) 1   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING; CONSTRAINT THEORY; PROLOG (PROGRAMMING LANGUAGE);

ALGORITHMIC PROGRAMS; CONSTRAINT PROGRAMMING; CONSTRAINT PROGRAMS; DESIGN AND IMPLEMENTATIONS; GRAPHICAL ENVIRONMENTS; PERFORMANCE DEBUGGING; PROLOG PROGRAMS;

PROGRAM DEBUGGING;

EID: 84958060995     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60299-2_13     Document Type: Conference Paper

References (11)

1. Michael Dahmen. A Debugger for Constraints in Prolog. Technical Report ECRC-91-11, ECRC, 1991.
2. M. Ducassé. Opium+, a meta-debugger for Prolog. In Proceedings of the European Conference on Artificial Intelligence, Munich, August 1988.
3. ECLiPSe. URL http://www.ecrc.de/eclipse/eclipse.html, 1995.
4. ECLiPSe 3.5 User Manual, 1995. URL http://www.ecrc.de/eclipse/html/umsroot/umsroot.html.
5. ECLiPSe 3.5 Extensions User Manual, 1995. URL http://www.ecrc.de/eclipse/html/extroot/extroot.html.
6. Micha Meier. ProTcl, the Prolog interface to the Tcl/Tk toolkit. URL http://www.ecrc.de/ecSpse/html/protcl.html.
7. Micha Meier. Visualizing and solving finite algebra problems. In Workshop on Finite Algebras, ECRC, Munich, March 1994.
8. Micha Meier, Abderrahmane Aggoun, David Chan, Pierre Dufresne, Reinhard Enders, Dominique Henry de Villeneuve, Alexander Herold, Philip Kay, Bruno Perez, Emmanuel van Rossum, and Joachim Schimpf. SEPIA-an extendible Prolog system. In Proceedings of the 11th World Computer Congress IFIP'89, pages 1127-1132, San Francisco, August 1989.
9. Micha Meier and Joachim Schimpf. Control in ECLiPSe. Technical Report ECRC-95-07, ECRC, February 1995. URL http://www.ecrc.de/echpse/html/reports.html.
10. John K. Ousterhout. Tcl and the Tk Toolkit. Addison-Wesley, 1994.
11. Michael Sanella. Analyzing and debugging hierarchies of multi-way local propagation constraints. In Proceedings of the 1994 Workshop on Principles and Practice of Constraint Programming, 1994.