Abstract
This introduction gives a general perspective of the debugging methodology and the tools developed in the ESPRIT IV project DiSCiPl Debugging Systems for Constraint Programming. It has been prepared by the editors of this volume by substantial rewriting of the DiSCiPl deliverable CP Debugging Tools.[1]
This introduction is organised as follows. Section 1 outlines the DiSCiPl view of debugging, its associated debugging methodology, and motivates the kinds of tools proposed: the assertion based tools, the declarative diagnoser and the visualisation tools. Sections 2 through 4 provide a short presentation of the tools of each kind. Finally, Section 5 presents a summary of the tools developed in the project. This introduction gives only a general view of the DiSCiPl debugging methodology and tools. For details and for specific bibliographic references the reader is referred to the subsequent chapters.
Keywords
- Constraint Program
- Global Constraint
- Prolog Program
- Constraint Store
- Declarative Semantic
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Preview
Unable to display preview. Download preview PDF.
References
Aggoun, A., Benhamou, F., Bueno, F., Carro, M., Deransart, P., Drabent, W., Ferrand, G., Goualard, F., Hermenegildo, M., Lai, C., Lloyd, J., Małuszyński, J., Puebla, G., Tessier, A.: CP Debugging Tools. Public Deliverable D.WP1.1.M1.1, ESPRIT IV Project DiSCiPl (1997), http://discipl.inria.fr/deliverables1.html
Beldiceanu, N., Contejean, E.: Introducing global constraints in chip. Journal of Mathematical and Computer Modelling 20(12), 97–123 (1993)
Byrd, L.: Understanding the control flow of prolog programs. In: Tärnlund, S.-A. (ed.) Proc. of the Workshop on Logic Programming, Debrecen (1980)
Cosytec SA. CHIP System Documentation (1998)
Cousot, P., Cousot, R.: Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: Fourth ACM Symposium on Principles of Programming Languages, pp. 238–252 (1977)
Diaz, D.: GNU-Prolog user Manual (2000), http://pauillac.inria.fr/diaz/gnu-prolog/
European Computer Research Center. Eclipse User’s Guide (1993)
Hermenegildo, M., Bueno, F., Cabeza, D., García de la Banda, M., López, P., Puebla, G.: The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In: Parallelism and Implementation of Logic and Constraint Logic Programming, Nova Science, Commack, NY, USA (April 1999)
Meier, M.: Grace User Manual (1996), Available at http://www.ecrc.de/eclipse/html/grace/grace.html
PrologIA. Prolog IV Manual (1996)
Schulte, C.: Oz Explorer: A Visual Constraint Programming Tool. In: Naish, L. (ed.) ICLP 1997. MIT Press, Cambridge (1997)
Shapiro, E.Y.: Algorithmic Program Debugging. MIT Press, Cambridge (1982)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Deransart, P., Hermenegildo, M.V., Małuszynski, J. (2000). Debugging of Constraint Programs: The DiSCiPl Methodology and Tools. In: Deransart, P., Hermenegildo, M.V., Małuszynski, J. (eds) Analysis and Visualization Tools for Constraint Programming. Lecture Notes in Computer Science, vol 1870. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10722311_1
Download citation
DOI: https://doi.org/10.1007/10722311_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41137-6
Online ISBN: 978-3-540-40016-5
eBook Packages: Springer Book Archive