Debugging Systems
for Constraint Programming
Documents of interest
- Proceedings of the AADEBUG'97 conference
- L. Granvilliers, Transformations symboliques et consistance de bloc
de CSP continus, Proceedings of JFPLC'97, Hermes, pp 195-210, April 97.
[postscript]
- J.Boye and J. Maluszynski. Directional Types and the Annotation Method
(accepted for the Journal of Logic Programming) [postscript]
- A.Tessier. Declarative Debugging in Constraint Logic Programming. Asian
Computing Science Conf., December 1996, Lecture Notes in Computer Science,
vol.1023, Springer Verlag [postscript]
- A. Tessier. Approche en terme de skelettes de preuve, de la sémantique
et du diagnostique déclaratif d'erreur des programmes logiques avec
contraintes. University of Orléans. PhD Thesis. 6 Jan 1997 [postscript]
- P. Chambre. Contribution à la validation de programmes concurrents
avec contraintes. University of Orléans. PhD. Thesis, 6 January
1997. [postscript]
- G. Puebla and M. Hermenegildo. Abstract Specialization and its Application
to Program Parallelization. VI International Workshop on Logic Program
Synthesis and Transformation. To appear in Lecture Notes in Computer Science,
vol. 1207, Springer-Verlag.
- Several Authors. Strategic Directions in Constraint Programming. ACM
Computing Surveys 28(4)701--726. December 1996. ACM.
- M. Hermenegildo. Some Challenges for Constraint Programming. Position
Paper for the ACM 50th Anniversary Workshop on Strategic Directions in
Computer Research. Published electronically by ACM. December 1996.
- A. Aggoun and N. Beldiceanu. Aggoun Extending CHIP in Order to Solve
Complex Scheduling Problems. In Journal of Mathematical and Computer Modelling,
Vol. 17, No7.
- A. Aggoun. Implementation of the CHIP debugger, Technical Report, COSYTEC
9206. Constraint Programming: Basics and Trends Springer LNCS 901, A. Podelski
ed., 1995.
- K.R. Apt. Declarative programming in Prolog. In Proc.of ILPS'93. The
MIT Press, 1993.
- F. Benhamou and W. Older. Applying Interval Arithmetic to Real, Integer
and Boolean Constraints. Journal of Logic Programming [postscript].
- F. Benhamou. Interval Constraint Logic Programming. In: Constraint
Programming: Basics and Trends Springer LNCS 901, A. Podelski ed., 1995
[postscript]
.
- M. Bergere and G. Ferrand and F. Le Berre and B. Malfon and A. Tessier.
La Programmation Logique avec Contraintes Revisitee en Termes d'Arbre de
Preuve et de Squelettes, Rapport de Recherche LIFO 95-06, Feb. 1995 [postscript]
- M. Bergere. Approche Declarative du Diagnostic d'Erreur pour la Programmation
Logique avec Negation. These de doctorat, Universite d'Orleans, 1991.
- D. Binks. Declarative Debugging of Abstract Data Types in Godel. In
P. Fritzson ed.,
- Proc. of AADEBUG'95:
the First Int. Workshop on Automated and Algorithmic Debugging, LNCS 749,
Springer Verlag 1993.
- J. Boye and J. Maluszynski. Two Aspects of Directional Types in Proc.
Twelfth Int. Conf. on Logic Programming, pp. 747-763, The MIT Press, 1995.
[postscript]
- F. Bronsard, T. K. Lakshman and U. Reddy. A framework of directionality
for proving termination of logic programs. In Proc. of JICSLP'92. The MIT
Press,1992.
- F. Bueno, D. Cabeza, M. Hermenegildo, and G. Puebla. Data-Flow Analysis
of Prolog Programs with Extra-Logical Features. Technical Report CLIP2/95.0,
Computer Science Dept., Technical U. Madrid (UPM), Facultad Informatica
UPM, 28660-Boadilla del Monte, Madrid-Spain, March 1995.
- F. Bueno, D. Cabeza, M. Hermenegildo, and G. Puebla. Data Analysis
of Standard Prolog Programs. In European Symposium on Programming, Sweden,
April 1996.
- F. Bueno, M. Garcia de la Banda, and M. Hermenegildo. The PLAI Abstract
Interpretation System. Technical Report CLIP2/94.0, Computer Science Dept.,
Technical U.Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del
Monte, Madrid-Spain, February 1994.
- COSYTEC. XGIP Extended Graphical Interface for Prolog", Reference
Manual, COSY/REF/004, December 1993.
- B. Carlson and M. Carlsson. Compiling and executing disjunctions of
nite domain constraints. Proceedings of the Twelfth Int'l Conference onLogic
Programming. The MIT Press, June 1995.
- M. Carro, L. Gomez, and M. Hermenegildo. Carrolock Some Paradigms for
Visualizing Parallel Execution of Logic Programs. In 1993 International
Conference on Logic Programming. The MIT Press, June 1993.
- K.L. Clark. Predicate Logic as a Computational Formalism, Technical
Report 79/59, Imperial College, London, 1979.
- P. Codognet and D. Diaz. Compiling Constraints in CLP(FD). Journal
of Logic Programming (to appear).
- Marco Comini, Giorgio Levi and Giuliana Vitiello. Declarative Diagnosis
Revisited. In John Lloyd, editor, International Logic Programming Symposium,
Logic Programming. The MIT Press, 1995.
- S. Debray, P. Lopez Garca, and M. Hermenegildo. Non-Failure Analysis
for Logic Programs. Technical Report TR Number CLIP14/94.0, T.U. of Madrid
(UPM), Facultad Informática UPM, 28660-Boadilla del Monte, Madrid-Spain,
Oct. 1994.
- P.Deransart. Proof methods of declarative properties of denite programs,
Theoretical Computer Science, 118, 1993.
- P. Deransart and J. Maluszynski. A
Grammatical View of Logic Programming. The MIT Press, 1993.
- N. Dershowitz and Y. Lee. Deductive debugging. International Logic
Programming Symposium 1987.
- M. Dincbas, P.Van Hentenryck, H.Simonis, A.Aggoun, T.Graf and F.Berthier.
The Constraint Programming Language CHIP. In: FGCS-88, Tokyo, 1988, 693-702.
- Wlodek Drabent, Simin Nadjm-Tehrani and Jan Maluszynski. Algorithmic
debugging with assertions. In Harvey Abramson and M. H. Rogers, editors,
Meta-programming in Logic Programming. The MIT Press, 1989. [postscript]
- W. Drabent and J. Maluszynski. Induction assertion method for logic
programs. Theoretical Computer Science 59, 1988. [postscript]
- M. Ducasse and A.M. Emde. State of the Art in Automated Program Debugging,
Technical Report TR-LP-25, ECRC, 1987.
- Ducasse, Mireille. Opium+, a meta-debugger for Prolog. In Proceedings
of the European Conference on Articial Intelligence. Munich, August 1988.
- Ducasse, Mireille. An expendable trace analyser to support automated
debugging, Ph.D. Thesis, University of Rennes, May 1992.
- M. Eisenstadt and M. Brayshaw. The Transparent Prolog Machine (TPM):
An Execution Model and Graphical Debugger for Logic Programming. Journal
of Logic Programming, 5(4), 1988.
- Gerard Ferrand. Error Diagnosis in Logic Programming: an adaptation
of E. Y. Shapiro's method. Journal of Logic Programming, 4, 1987.
- Gerard Ferrand. The Notions of Symptom and Error in Declarative Diagnosis
of Logic Programs. In Automated and Algorithmic Debugging, volume 749 of
Lecture Notes in Computer Science. Springer-Verlag,1993.
- P. Fritzson, T. Gyimothy, M. Kamkar and N. Shamheri. Generalized algorithmic
debugging and testing. ACM Letters on Programming Languages and Systems
1(4), 303-322, 1992.
- M. Garcia de la Banda and M. Hermenegildo. A Practical Approach to
the Global Analysis of Constraint Logic Programs. In 1993 International
Logic Programming Symposium, The MIT Press, Cambridge, MA, October 1993.
- Laurent Granvilliers. Diagnostic Declaratif d'Erreurs en Programmation
Logique; Application au langage Goedel. Rapport DEA, LIFO, Universite d'Orleans,
1994.
- M. Hermenegildo M. Carro, L. Gomez. Implementation of an Event Driven
Scheme for Visualizing Parallel Execution of Logic Programs. In JICSLP'92
Workshop on Parallel Execution, 1992.
- M. Hermenegildo, K. Marriott, G. Puebla, and P. Stuckey. Incremental
Analysis of Logic Programs. In International Conference on Logic Programming.
MIT Press, June 1995.
- M. Hermenegildo, R. Warren, and S. Debray. Global Flow Analysis as
a Practical Compilation Tool. Journal of Logic Programming, 13(4), August
1992.
- M. Hermenegildo and R. Nasr. A Tool for Visualizing Independent And-parallelism
in Logic Programs. Technical report, T.U. of Madrid (UPM), 1990. Presented
at NACLP-90 Workshop on Parallel Logic Programming, Austin, TX.
- P.M. Hill and J.W. Lloyd, The Godel Programming Language, The MIT Press,
Logic Programming Series, 1994.
- Joxan Jaffar and Jean-Louis Lassez. Constraint Logic Programming. Technical
Report 86/73, Department of Computer Science, Monash University, 1986.
- Joxan Jaffar and Michael J. Maher. Constraint Logic Programming: a
survey. Journal of Logic Programming, 19, 1994.
- T. Kanamori, T. Kawamura, M. Maeji and M. Horiuchi. Logic Program Diagnosis
from Specications. Technical Report TR-447, ICOT, 1989.
- F. Le Berre and A. Tessier. Declarative Incorrectness Diagnosis of
Constraint Logic Programs. Rapport de Recherche LIFO 95-08 Universite d'Orleans,
1995. [postscript]
- John W. Lloyd. Declarative Error Diagnosis. New Generation Computing,
5:133--154, 1987.
- J. Lloyd. Declarative Programming in Escher. Technical Report CSTR-95-013,
Department of Computer Science, University of Bristol, June, 1995.
- J. Lloyd. Declarative Error Diagnosis. New Generation Computing 5,
133-154, 1987.
- Michael J. Maher. A Logic Programming View of CLP. In Warren, editor,
International Conference on Logic Programming, pages 737--753. The MIT
Press, 1993.
- K. Marriott, M. García de la Banda, and M. Hermenegildo. Analyzing
Logic Programs with Dynamic Scheduling, in 20th. Annual ACM Conf. on Principles
of Programming Languages, pages 240--254. ACM, January 1994.
- M. Meier. Debugging Constraint programs. In Principles and Practice
of Constraint Programming- CP'95, Cassis, LNCS 976, Springer Verlag, pp
204-221, Sept 1995.
- Simin Nadjm-Tehrani. Contributions to the Declarative Approach to Debugging
Prolog Programs. Thesis 187, Linkoping University, 1989.
- L. Naish, P. Dart and P.W. Zobel. The Nu-Prolog Debugging Environment.
International Conference on Logic Programming, pp 521-536, 1989.
- H. Nilsson and P.Fritzson. Algorithmic debugging for lazy functional
languages. Journal of Functional Programming 4(3), 337-370, 1994.
- U. Nilsson and J. Maluszynski. Logic, Programming and Prolog (second
edition), J. Wiley and Sons, 1995. J. Ousterhout. Tcl and the Tk Toolkit,
Addison-Wesley, 1994.
- L. M. Pereira and M. Calejo. A framework for Prolog Debugging. International
Conference and symposium on Logic Programming, pages 491--495. 1988.
- L. M. Pereira. Rational Debugging in Logic Programming. International
Conference on Logic Programming, volume 225 of Lecture Notes in Computer
Science, pages 203--210. Springer-Verlag,1986.
- PrologIA and BIM. Report on the environment of the new CLP language,
Report 15, Prince ESPRIT Project (5246), May 1993.
- Ehud Y. Shapiro. Algorithmic Program Debugging. ACM Distinguished Dissertation.
The MIT Press, 1982.
- J.Sparud and H. Nilsson. The architecture of a debugger for lazy functional
languages. in: Proc. of Proc. of AADEBUG'95: the Second Int. Workshop on
Automated and Algorithmic Debugging St. Malo, May 1995.
- Alexandre Tessier. Diagnostic Déclaratif d'Insuffisance en Programmation
Logique avec Contraintes. Technical Report 96/01, LIFO, University of Orléans,
1996.
- E. Vétillard. Utilisation de Déclarations en Programmation
Logique avec Contraintes. Ph.D. Thesis. Université D'Aix-Marseille
II, Faculte de Sciences de Luminy, 1994.
- Constraints Archive
- On-line library of papers
on constraints
- Document repository
of Marco Comini including papers on abstract debugging
- Andre Chamard and Annie Fischler: CHIC
Lessons on CLP Methodology