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:

 J Boye and J Maluszynski Two Aspects of Directional Types In Proc of Intl Conf on Logic Programming   MIT Press  See also J Boye and J Maluszynski Directional Types and the Annotation Method J Logic Programming   To appear


 J Boye Directional Types in Logic Programming PhD thesis no   Link oping studies in science and technology  


 F Bueno D Cabeza M Hermenegildo and G Puebla DataFlow Analysis of Prolog Programs with ExtraLogical Features Technical Report CLIP Computer Science Dept Technical U Madrid UPM  Facultad Informatica UPM  Boadilla del Monte MadridSpain March 


 F Bueno D Cabeza M Hermenegildo and G Puebla Data Analysis of Standard Prolog Programs In European Symposium on Programming Sweden April  


 F Bueno M Garcia de la Banda and M Hermenegildo The PLAI Abstract Interpretation System Technical Report CLIP  Computer Science Dept Technical UMadrid UPM  Facultad Informatica UPM  Boadilla del Monte MadridSpain February  


M Comini G Levi and G Vitiello Declarative Diagnosis Revisited In J Lloyd editor International Logic Programming Symposium MIT Press 


 P Deransart Proof methods of declarative properties of denite programs Theoretical Computer Science vol  


 P Deransart and J Ma!luszy"nski A grammatical view on logic programming The MIT Press 


 W Drabent A FloydHoare Method for Prolog Postconference workshop Verication and Analysis of Logic Programs at JICSLP  Joint Interna tional Conference and Symposium on Logic Programming Bonn 


 W Drabent and J Ma!luszy"nski Inductive assertion method for logic pro grams Theoretical Computer Science # June  Special issue with selected papers from TAPSOFT  Pisa


 W Drabent S NadjmTehrani and J Ma!luszy"nski Algorithmic Debugging with Assertions In H Abramson and MH Rogers eds Metaprogramming in Logic Programming # The MIT Press 


 W Drabent S NadjmTehrani and J Ma!luszy"nski The Use of Assertions in Algorithmic Debugging In Proc of Fifth Generation Computer Systems  pages  # 


 ECLiPSe  User Manual ECRC Munich 


 G Ferrand Error Diagnosis in Logic Programming JLP vol   #  


 J Jaar and M Maher Constraint Logic Programming a Survey JLP vol  and  #  


 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 APPIAGULPPRODE  pages  #  


 JW Lloyd Declarative Error Diagnosis New Generation Computing  #    


 S NadjmTehrani Debugging Prolog Programs Declaratively In Proc of Second Workshop on Metaprogramming in Logic META  pages  # Dept of Computer Science K U Leuven 


 EY Shapiro Algorithmic Program Debugging The MIT Press   Alexandre Tessier Declarative debugging in constraint logic programming In Joxan Jaar editor Asian Computing Science Conference volume   of Lecture Notes in Computer Science pages #  SpringerVerlag  


 E Vetillard Utilisation de Declarations en Programmation Logique avec Con traintes PhD Thesis Univ AixMarseilles II 

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