Re: Debugging Theory

Hans Huttel <hans@iesd.auc.dk>
22 Sep 1996 17:26:17 -0400

          From comp.compilers
Related articles
Debugging Theory rfraer@sophia.inria.fr (1996-09-15)
Re: Debugging Theory dick@silicon.csci.csusb.edu (1996-09-16)
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: Hans Huttel <hans@iesd.auc.dk>
Newsgroups: comp.theory,comp.compilers
Date: 22 Sep 1996 17:26:17 -0400
Organization: Dept. of Mathematics and Computer Science, Aalborg University
Distribution: inet
References: 96-09-051 96-09-076
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.


I forgot to mention


Karen L. Bernstein and Eugene W. Stark:
            Operational semantics of a focusing debugger


which can be found at


http://www.elsevier.nl/mcs/tcs/pc/volume1.htm#bernstein


--
Hans Huttel | hans@cs.auc.dk
BRICS, Dept. of Computer Science | fax: (+45) 98 15 98 89
Aalborg University, Fr. Bajersvej 7E | tel.: (+45) 98 15 85 22, ext. 5014
9220 Aalborg \emptyset, DENMARK. | WWW: http://www.cs.auc.dk/~hans/
--

Post a followup to this message

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