Re: Debugging Theory

Hans Huttel <hans@iesd.auc.dk>
22 Sep 1996 17:25:53 -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:25:53 -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.


Have a look at the work by Fabio da Silva [my former office-mate
from Edinburgh]. All of the following are available from
the University of Edinburgh (have a look at
http://www.dcs.ed.ac.uk/publications/lfcsreps.html for more details)


Correctness Proofs of Compilers and Debuggers: an Overview of an
Approach Based on Structural Operational Semantics (LFCS report
ECS-LFCS-92-233)


Correctness Proofs of Compilers and Debuggers: an Approach Based on
Structural Operational Semantics (LFCS report ECS-LFCS-92-241 (also
published as CST-95-92))


--
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.