JavaTA: A Logic-based Debugger for Java

Details JavaTA: A Logic-based Debugger for Java JavaTA: A Logic-based Debugger for Java

2007-01-17

arxiv.org/abs/cs/0701107v1

Computer Science

Programming Languages

Paper presented at the 16th Workshop on Logic-based Methods in Programming Environments (WLPE2006)

Scientific paper

This paper presents a logic based approach to debugging Java programs. In contrast with traditional debugging we propose a debugging methodology for Java programs using logical queries on individual execution states and also over the history of execution. These queries were arrived at by a systematic study of errors in object-oriented programs in our earlier research. We represent the salient events during the execution of a Java program by a logic database, and implement the queries as logic programs. Such an approach allows us to answer a number of useful and interesting queries about a Java program, such as the calling sequence that results in a certain outcome, the state of an object at a particular execution point, etc. Our system also provides the ability to compose new queries during a debugging session. We believe that logic programming offers a significant contribution to the art of object-oriented programs debugging.

Affiliated with

Also associated with

No associations

Rating

JavaTA: A Logic-based Debugger for Java does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with JavaTA: A Logic-based Debugger for Java, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and JavaTA: A Logic-based Debugger for Java will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-120189