Article | Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97) | Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach

Title:
Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach
Author:
Johan Boye: Linköping University, Sweden Wlodek Drabent: Institute of Computer Science, Polish Academy of Sciences, Poland Jan Maluszynski: Institute of Computer Science, Polish Academy of Sciences, Poland
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.:
011
Pages:
123-140
No. of pages:
18
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


This paper discusses adaptation of the declarative diagnosis techniques for the use in constraint logic programming. The objective is to show how the well-known concepts are to be modified in this setting. In particular; the paper outlines basic algorithms for diagnosing incorrectness errors and insufficiency errors for constraint programs over arbitrary domains. The main focus is on defining kinds of assertions needed to facilitate the task of answering of debugger queries. The examples illustrate the use of the proposed assertions in the declarative diagnosis algorithms for finite domain constraint programs.

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

Author:
Johan Boye, Wlodek Drabent, Jan Maluszynski
Title:
Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach
References:

[1]. Boye and J. Maluszynski. Two Aspects of Directional Types. In Proc. of Int’l Conf. on Logic Programming ¬ī95 MIT Press1995. See also: J. Boye and J. Maluszynski. Directional Types and the Annotation Method. J. Logic Programming, 1996. To appear.


[2] J. Boye. Directional Types in Logic Programming, Ph.D. thesis no. 437, Linköping studies in science and technology, 1996.


[3] F. Bueno, D. Cabeza, M. Hermenegildo, and G. Puebla. DataFlow 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.


[4] F. Bueno, D. Cabeza, M. Hermenegildo, and G. Puebla. Data Analysis of Standard Prolog Programs. In European Symposium on Programming, Sweden, April 1996 .


[5] 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.


[6] M. Comini, G. Levi and G. Vitiello. Declarative Diagnosis Revisited. In J. Lloyd, editor, International Logic Programming Symposium. MIT Press, 1995.


[7] P. Deransart. Proof methods of declarative properties of definite programs. Theoretical Computer Science, vol.118, 1993.


[8] P. Deransart and J. Ma!luszy"nski. A grammatical view on logic programming. The MIT Press,1993.


[9] W. Drabent. A FloydHoare Method for Prolog. Post-conference workshop "Verfication and Analysis of Logic Programs" at JICSLP ’96. (Joint International Conference and Symposium on Logic Programming, Bonn).


[10] W. Drabent and J. Maluszynski. Inductive assertion method for logic programs. Theoretical Computer Science, 59:133-155, June 1988. Special issue with selected papers from TAPSOFT’87, Pisa.


[11] W. Drabent, S. Nadjm-Tehrani and J. Maluszynski. Algorithmic Debugging with Assertions. In: H. Abramson and M.H. Rogers (eds.) Metaprogramming in Logic Programming, 501-522. The MIT Press, 1989.


[12] W. Drabent, S. Nadjm-Tehrani, and J. Maluszynski. The Use of Assertions in Algorithmic Debugging. In Proc. of Fifth Generation Computer Systems, pages 573-581, 1988.


[13] ECLiPSe 3.5 User Manual. ECRC, Munich 1995.


[14] G. Ferrand. Error Diagnosis in Logic Programming. JLP vol. 4, 177-198, 1987.


[15] J. Jaffar and M. Maher. Constraint Logic Programming: a Survey. JLP vol. 19 and 20, 503-581, 1994.


[16]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 APPIA,GULP, PRODE’96, pages 379-291, 1996.


[17] J.W. Lloyd. Declarative Error Diagnosis. New Generation Computing 5, 133-154, 1987.


[18] S. Nadjm-Tehrani. Debugging Prolog Programs Declaratively. In Proc. of Second Workshop on Meta,programming in Logic META 90, pages 137-155. Dept. of Computer Science K. U. Leuven, 1990.


[19] E.Y. Shapiro. Algorithmic Program Debugging. The MIT Press, 1982.
[20] Alexandre Tessier. Declarative debugging in constraint logic programming. In Joxan Jaffar, editor, Asian Computing Science Conference, volume 1179 of Lecture Notes in Computer Science, pages 64-73. Springer-Verlag, 1996.


[21] E. Vetillard. Utilisation de Declarations en Programmation Logique avec Con, traintes. Ph.D. Thesis. Univ. Aix-Marseilles II, 1994

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

Author:
Johan Boye, Wlodek Drabent, Jan Maluszynski
Title:
Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment