GIDTS: a graphical programming environment for Prolog

Authors:
Gabriella Kókai;Jörg Nilson;Christian Niss
Affiliations:
Department of Computer Science, Programming Languages, Friedrich-Alexander-University of Erlangen-Nürnberg, Martensstr. 3, D-91058 Erlangen, Germany;Department of Computer Science, Programming Languages, Friedrich-Alexander-University of Erlangen-Nürnberg, Martensstr. 3, D-91058 Erlangen, Germany;Department of Computer Science, Programming Languages, Friedrich-Alexander-University of Erlangen-Nürnberg, Martensstr. 3, D-91058 Erlangen, Germany
Venue:
Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Year:
1999

Citing 9
Cited 4

Rational debugging in logic programming

Proceedings on Third international conference on logic programming
The category-partition method for specifying and generating fuctional tests

Communications of the ACM
Algorithmic debugging with assertions

Meta-programming in logic programming
Dynamic slicing of computer programs

Journal of Systems and Software
Advanced programming in the UNIX environment

Advanced programming in the UNIX environment
Algorithmic Program DeBugging

Algorithmic Program DeBugging
Graphical User Interfaces for Algorithmic Debugging

AADEBUG '93 Proceedings of the First International Workshop on Automated and Algorithmic Debugging
Synthesis of Directionality Information for Functional Logic Programs

WSA '93 Proceedings of the Third International Workshop on Static Analysis
PRESET - A Debugging Environment for Prolog

Proceedings of the 4th Conference on Logic Programming '85

State of the Practice in Algorithmic Debugging

Electronic Notes in Theoretical Computer Science (ENTCS)
A comparative study of algorithmic debugging strategies

LOPSTR'06 Proceedings of the 16th international conference on Logic-based program synthesis and transformation
Scaling up algorithmic debugging with virtual execution trees

LOPSTR'10 Proceedings of the 20th international conference on Logic-based program synthesis and transformation
A survey on algorithmic debugging strategies

Advances in Engineering Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper puts forward the Graphical Interactive Diagnosing, Testing and Slicing System (GIDTS) which is a graphical programming environment for PROLOG programs. The IDTSpart of the system integrates Shapiro's Interactive Diagnosis Algorithm with the Category Partition Testing Method (CPM) and a slicing technique performing the algorithmic debugging and functional testing of PROLOG programs. The integration of IDTS with a graphical user interface (GUI) supports the whole functionality of IDTS and provides a user-friendly environment giving the user more information on the state of the debugging process. GIDTS extends IDTS to a complete programming environment. It allows one to handle the debugging of complex programs using the extended syntax and semantics of PROLOG in a very flexible way. A static code diagnosis has also been implemented. In addition GIDTS supports debugging-directed editing of the source program, and a quick source code navigation via any of the tools (for example: the debugger, the static call graph and the information retriever). All these features are supported by the graphical user interface.