K'okai, G., Harmath, L., Gyim'othy, T.: Algorithmic Debugging and Testing of Prolog Programs ICLP '97 The Fourteenth International Conference on Logic Programming, Eighth Workshop on Logic Programming Environments Leuven, Belgium, 8-12 July 1997, 14-21 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Diagnosis of Heart Diseases with the Help of the PECG.. - Kokai, Thury.. Self-citation (K'okai Gyim'othy) (Correct)
....the preparation of an over generalized grammars which only defines the basic structural restrictions is not a too difficult task (see Appendix 6. 1) We use the IMPUT system for learning, which is an integration of the specialization algorithm SPECTRE [1] and an interactive debugging technique IDTS [6]. In IMPUT the specialization steps are invoked by negative examples covered by the target predicate. It is assumed that when a negative example is covered by the current version of the program there is at least one clause which is responsible for this incorrect covering. IMPUT then uses the IDTS ....
K'okai, G., Harmath, L., Gyim'othy, T.: Algorithmic Debugging and Testing of Prolog Programs ICLP '97 The Fourteenth International Conference on Logic Programming, Eighth Workshop on Logic Programming Environments Leuven, Belgium, 8-12 July 1997, 14-21
GIDTS - A Graphical Programming Environment for Prolog - Kokai, Nilson, Niss Self-citation (Kokai) (Correct)
....Furthermore GIDTS extends the functionality of IDTS in several ways. Together they form a graphical programming environment for PROLOG. The system combines an Interactive Diagnosing, Testing and Slicing System (IDTS) algorithmic debugger module with a modular graphical user interface. The IDTS ([KHG97]) system was developed for algorithmic debugging and functional testing of PROLOG programs. This system integrates Shapiro s Interactive Diagnosis Algorithm [shapiro] with the Category Partition Testing Method (CPM [cpm] and a slicing technique [slice] IDTS can improve the efficiency of the ....
....that these systems cannot be applied for realistic programs. A critical overview about the systems developed for testing and debugging of PROLOG programs can be found in [Kok98] 3 The IDTS System for PROLOG programs In this Section we give a short overview of the IDTS system. The IDTS system ([KHG97]) combines Shapiro s algorithmic debugging technique [shapiro] the CPM functional testing method [cpm] and program slicing techniques [slice] to facilitate advanced debugging. 3.1 Shapiro s Method for Algorithmic Debugging The algorithmic program debugging method introduced by Shapiro can ....
[Article contains additional citation context not shown here]
Kokai, G., Harmath, L., Gyimothy, T.: Algorithmic Debugging and Testing of Prolog Programs ICLP '97 The Fourteenth International Conference on Logic Programming, Eighth Workshop on Logic Programming Environments Leuven, Belgium, 8-12 July 1997, 14-21
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