Declarative debugging in constraint logic programming

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

Volumn 1179, Issue , 1996, Pages 64-73

  Tessier, Alexandre ^a  

^a UNIVERSITÉ D'ORLÉANS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER CIRCUITS; COMPUTER PROGRAMMING LANGUAGES; NETWORK SECURITY; PROGRAM DIAGNOSTICS; SEMANTICS;

CONSTRAINT LOGIC PROGRAMMING; CONSTRAINT LOGIC PROGRAMS; DECLARATIVE DEBUGGING; DIAGNOSIS METHODS; PROOF TREE; THEORETICAL FRAMEWORK;

LOGIC PROGRAMMING;

EID: 84947966713     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0027780     Document Type: Conference Paper

References (19)

1. P. Aczel. An Introduction to Inductive Definitions, chapter 7, pages 739-782. In J. Barwise, editor, Handbook of Mathematical Logic. North-Holland Publishing Company, 1977.
2. A. Colmerauer. An Introduction to Prolog III. Communications of the ACM, 33(7):69-90, 1990.
3. M. Comini, G. Levi, and G. Vitiello. Abstract Debugging of Logic Programs. In L. Fribourg and F. Turini, editors, Logic Program Synthesis and Transformation and Metaprogramming, volume 883 of Lecture Notes in Computer Science, pages 440-450. Springer-Verlag, 1994.
4. P. Deransart and J. Maluszynski. A Grammatical View of Logic Programming. MIT Press, 1993.
5. W. Drabent, S. Nadjm-Tehrani, and J. Maluszynski. Algorithmic Debugging with Assertions. In H. Abramson and M. H. Rogers, editors, Meta-Programming in Logic Programming, pages 501-522. MIT Press, 1989.
6. G. Ferrand. Error Diagnosis in Logic Programming: an adaptation of E. Y. Shapiro's method. Journal of Logic Programming, 4:177-198, 1987.
7. G. Ferrand. The Notions of Symptom and Error in Declarative Diagnosis of Logic Programs. In P. A. Fritzson, editor, Automated and Algorithmic Debugging, volume 749 of Lecture Notes in Computer Science, pages 40-57. Springer-Verlag, 1993.
8. M. Gabbrielli and G. Levi. Modeling answer constraints in Constraint Logic Programs. In V. A. Saraswat and K. Ueda, editors, International Conference on Logic Programming, pages 238-252. MIT Press, 1991.
9. R. Giacobazzi, S. K. Debray, and G. Levi. Generalized Semantics and Abstract Interpretation for Constraint Logic Programs. Journal of Logic Programming, 25 (3): 191-248, 1995.
10. N. C. Heintze, J. Jaffar, S. Michaylov, P. J. Stuckey, and R. H. Yap. The GLP(Tl) Programmer's Manual Version 1.2. IBM Thomas J. Watson Research Center 1992.
11. J. Jalfar and J.-L. Lassez. Constraint Logic Programming. In 14"" ACM Symposium on Principles of Programming Languages, pages 111-119. ACM, 1987.
12. J. JafFar and M. J. Maher. Constraint Logic Programming: a survey. Journal of Logic Programming, 19-20:503-581, 1994.
13. F. Le Berre and A. Tessier. Declarative Incorrectness Diagnosis in Constraint Logic Programming. In P. Lucio, M. Martelli, and M. Navarro, editors, Joint Conference on Declarative Programming, pages 379-391, 1996.
14. J. W. Lloyd. Declarative Error Diagnosis. New Generation Computinq, 5(2)133-154, 1987.
15. M. J. Maher. A Logic Programming view of CLP. In Warren, editor, International Conference on Logic Programming, pages 737-753. MIT Press, 1993.
16. L. Naish. A declarative debugging scheme. Technical Report 95/1, Department of Computer Science, University of Melbourne, 1995.
17. V. A. Saraswat. The Category of Constraint Systems is Cartesian-Closed. In Logic In Computer Science. IEEE Press, 1992.
18. E. Y. Shapiro. Algorithmic Program Debugging. ACM Distinguished Dissertation MIT Press, 1982.
19. P. Van Hentenryck. Constraint Logic Programming. Knowledge Engineering Review, 6(3):151-194, 1991.