Re: Debugging Theory

agramesh@sedona.intel.com (Anavai G. Ramesh~)
25 Sep 1996 21:11:38 -0400

          From comp.compilers
Related articles
[4 earlier articles]
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: agramesh@sedona.intel.com (Anavai G. Ramesh~)
Newsgroups: comp.theory,comp.compilers
Date: 25 Sep 1996 21:11:38 -0400
Organization: Intel Corporation, Chandler, AZ
Distribution: inet
References: 96-09-051 96-09-076 96-09-095 96-09-107
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 an annual workshop devoted to this topic. There was one
held in 1994 and one in 1995. I don't know if there was one in 1996.
The workshop is called AADEBUG. Proceedings are published by Springer
verlag LNCS.


AG Ramesh
--
Anavai Ramesh
Intel Corp.
i960(R) arch. group
--

Post a followup to this message

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