Automated and algorithmic debugging : first international workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993 : proceedings / Peter A. Fritzson, ed.

Format:

Book

Conference/Event

Contributor:

Fritzson, Peter A., 1952-

Conference Name:

International Workshop on Automated and Algorithmic Debugging (1st : 1993 : Linköping, Sweden)

Series:

Lecture notes in computer science ; 749.

Lecture notes in computer science

Language:

English

Subjects (All):

Debugging in computer science--Congresses.

Debugging in computer science.

Genre:

Conference papers and proceedings.

Physical Description:

viii, 367 pages : illustrations ; 24 cm.

Place of Publication:

Berlin ; New York : Springer-Verlag, [1993]

Summary:

Debugging has always been a costly part of softwaredevelopment, and many attempts have been made to provideautomatic computer support for this task.Automateddebugging has seen major develoments over the last decade.Onesuccessful development is algorithmic debugging, whichoriginated in logic programming but was later generalized toconcurrent, imperative, and lazy functional languages.Important advances have also been made in knowledge-basedprogram debugging, and in approaches to automated debuggingbased on static and dynamic program slicing based ondataflow and dependence analysis technology. This is thefirst collected volume of papers on automated debugging andpresents latest developments, tutorial papers, and surveys.

Notes:

Selection of papers presented at the First International Workshop on Automated and Algorithmic Debugging.

Includes bibliographical references and index.

ISBN:

3540574174

0387574174

OCLC:

29023462