Re: Debugging Theory

rtf@world.std.com (Robert T Faught)
23 Sep 1996 21:21:06 -0400

          From comp.compilers
Related articles
[2 earlier articles]
Re: Debugging Theory jacob@jacob.remcomp.fr (1996-09-17)
Re: Debugging Theory sol!ikastan@uunet.uu.net (1996-09-19)
Re: Debugging Theory johnr@numega.com (John Robbins) (1996-09-19)
Re: Debugging Theory hans@iesd.auc.dk (Hans Huttel) (1996-09-22)
Re: Debugging Theory hans@iesd.auc.dk (Hans Huttel) (1996-09-22)
Re: Debugging Theory ikastan@alumnae.caltech.edu (1996-09-22)
Re: Debugging Theory rtf@world.std.com (1996-09-23)
Re: Debugging Theory jjc@hplb.hpl.hp.com (Jeremy Carroll) (1996-09-25)
Re: Debugging Theory agramesh@sedona.intel.com (1996-09-25)
Re: Debugging Theory mosh@karp.cs.albany.edu (1996-09-29)
| List of all articles for this month |
From: rtf@world.std.com (Robert T Faught)
Newsgroups: comp.theory,comp.compilers
Date: 23 Sep 1996 21:21:06 -0400
Organization: The World Public Access UNIX, Brookline, MA
Distribution: inet
References: 96-09-051 96-09-076 96-09-095
Keywords: debug

Ranan Fraer (rfraer@sophia.inria.fr) wrote:
> can anyone please recommend me some good books/papers on debugging
> theory ? Actually what I'm looking for is a classification of
> various techniques of detection, localisation and correction of bugs.


There is a discussion of "Algorithmic Program Debugging" in the second
edition of "Foundations of Logic Programming" J.W Lloyd, Springer-Verlag.


I believe that this thread of research was started by Ehud Shapiro in his
1982 thesis "Algorithmic Program Debugging" published by the MIT Press.
In this he distinguishes between three classes of errors: termination
with incorrect output, termination with missing output, and
non-termination. Then he develops an algorithm to diagnose each class which
queries the user about the intended behavior of the program in question.


There were many papers published following this thesis but, it seems to
me, not many recently.


Rob Faught
--

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.