M. Comini, G. Levi, and G. Vitiello. Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs. In M. Ducass'e, editor, Automated and Algorithmic Debugging, pages 159--174. IRISA-CNRS, 1995.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....by Calejo [7] 5 Extensions Declarative Debugging has been extended to some non declarative properties. For example, in a context of concurrent logic programming, Abstract Algorithmic Debugging ( 23] reduces the complexity of oracle queries using abstractions. More recently Abstract Diagnosis [42, 8, 10, 9] extend declarative diagnosis to a method combining the s semantics approach [6] and abstract interpretation techniques [11] The method is based on the comparison of the specification S with T (S) for a suitable operator T . For some observable properties (for example the set of computed answers) ....

M. Comini, G. Levi, and G. Vitiello. Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs. In M. Ducass'e, editor, Automated and Algorithmic Debugging, pages 159--174. IRISA-CNRS, 1995.

....definitions of LP. Thus, they are better understood, particularly thanks to proof trees and T ffi ;P . Particular case of LP is obtained when we change constraints by substitutions and the cover by the single cover less general . The uniform framework contributes to the comparison between [9, 8, 6, 19, 10, 5]. Lemma 4.2 1. If a[c] is a strong insufficiency then a[c] is a weak insufficiency. 2. There exists a strong insufficiency iff there exists a weak insufficiency. 3. If a[c] is an insufficiency symptom then a[c] is an incompleteness symptom. 4. There exists a strong insufficiency if there exists ....

M. Comini, G. Levi, and G. Vitiello. Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs. In M. Ducass'e, editor, Automated and Algorithmic Debugging, pages 159--174. IRISA-CNRS, 1995.

....But, only the intended declarative semantics of the program is required. Declarative error diagnosis in Logic Programming (LP) was introduced by E. Y. Shapiro [27] under the name of algorithmic debugging. Many techniques inspired by the Shapiro s method have been developed for logic programs [12, 11, 21, 8, 13, 7, 9, 22, 24, 3]. But, declarative diagnosis of constraint logic programs is relatively unexplored. We focus in this paper on the theoretical aspects of the declarative insufficiency diagnosis of constraint logic programs. That is, how to declaratively point a small piece of erroneous code when an answer is ....

....program rules and cover rules are exactly all the answers. Equality of these three sets guarantees consistency of definitions and results of Sect. 5. 5 Declarative Insufficiency Diagnosis This section extends, to CLP, works on declarative error diagnosis for LP based on the Shapiro s method [27, 12, 21, 11, 7, 9]. Answers provided by a program are sometimes symptom of errors in the program. Error diagnosis is error localization when a symptom (wrong answer or missing answer) is observed. We just treat missing answers. Declarative incorrectness diagnosis (wrong answers) is studied in the framework of Sect. ....

Marco Comini, Giorgio Levi, and Giuliana Vitiello. Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs. In Mirelle Ducass'e, editor, Automated and Algorithmic Debugging, pages 159--174. IRISA-CNRS, 1995.

.... where we can reconstruct all the semantics discussed in [2] and classes of approximate observables, where we can reconstruct several domains proposed for program analysis (groundness, types, The abstraction framework has also been used as the semantic foundation of abstract diagnosis [5]. Let us finally note that, since our framework is based on standard operational and denotational semantic definitions, it can be adapted to other programming languages (especially extensions of logic programming) A Technical Proofs Throughout the appendix we need some technical results about ....

M. Comini, G. Levi, and G. Vitiello. Efficient detection of incompleteness errors in the abstract debugging of logic programs. In M. Ducass'e, editor, Proc. 2nd International Workshop on Automated and Algorithmic Debugging, AADEBUG'95, 1995.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC