Author(s): Peter A. Fritzson
Categories: Reference > General, Computers > Computer Science, Computers > Programming, Computers > Development, Mathematics > General
Publisher: Springer
Publish date: 1993-12-16
ISBN-10: 3540574174
ISBN-13: 9783540574170
Language: English
Description: Debugging has always been a costly part of software development,
and many attempts have been made to provide automatic computer
support for this task.Automated debugging has seen major
develoments over the last decade. Onesuccessful development is
algorithmic debugging, which originated in logic programming but
was later generalized to concurrent, imperative, and lazy
functional languages. Important advances have also been made in
knowledge-based program debugging, and in approaches to automated
debugging based on static and dynamic program slicing based on
dataflow and dependence analysis technology. This is the first
collected volume of papers on… more…
and many attempts have been made to provide automatic computer
support for this task.Automated debugging has seen major
develoments over the last decade. Onesuccessful development is
algorithmic debugging, which originated in logic programming but
was later generalized to concurrent, imperative, and lazy
functional languages. Important advances have also been made in
knowledge-based program debugging, and in approaches to automated
debugging based on static and dynamic program slicing based on
dataflow and dependence analysis technology. This is the first
collected volume of papers on… more…