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 automated debugging and presents latest developments, tutorial papers, and surveys.
Automated and Algorithmic Debugging
and over one million other books are available for Amazon Kindle.
Learn more
FREE Two-Day Shipping for Students. Learn more |
| |||||||||||||||
Book Description
Special Offers and Product Promotions
- Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
In the last 30 years, there have been numerous studies on automated debugging which have led to a number of techniques and systems. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
debugging conditions, bug localization, dynamic dependence analysis, algorithmic debugging technique, testing distributed programs, uncovered atom, diagnosed circuit, intended program behavior, piecemeal tracing, interprocedural dynamic slicing, generalized algorithmic debugging, recursion group, algorithmic debugger, finite failure set, slicing concurrent programs, plan calculus, disambiguating queries, pattern eval, declarative error diagnosis, localize the bug, multiple control flows, bug explanation, dynamic program slicing, mutual exclusion program, bug catalogue Key Phrases - Capitalized Phrases (CAPs): (learn more)
Computer Science, Artificial Intelligence, International Conference, Peter Fritzson, Lecture Notes, Nahid Shahmehri, Mariam Kamkar, Stanford University, Yale University, Linkoping University, Mark Weiser, Bogdan Korel, Item Pointer, Journal of Logic, New York, Process Dependence Net, Generalized Algorithmic Debugging Technique, International Workshop, New Generation Computing, Notices Vol, University of Melbourne, Computer Society Press, Information Processing Letters, Morgan Kaufmann, San Diego New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
In the last 30 years, there have been numerous studies on automated debugging which have led to a number of techniques and systems. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
debugging conditions, bug localization, dynamic dependence analysis, algorithmic debugging technique, testing distributed programs, uncovered atom, diagnosed circuit, intended program behavior, piecemeal tracing, interprocedural dynamic slicing, generalized algorithmic debugging, recursion group, algorithmic debugger, finite failure set, slicing concurrent programs, plan calculus, disambiguating queries, pattern eval, declarative error diagnosis, localize the bug, multiple control flows, bug explanation, dynamic program slicing, mutual exclusion program, bug catalogue Key Phrases - Capitalized Phrases (CAPs): (learn more)
Computer Science, Artificial Intelligence, International Conference, Peter Fritzson, Lecture Notes, Nahid Shahmehri, Mariam Kamkar, Stanford University, Yale University, Linkoping University, Mark Weiser, Bogdan Korel, Item Pointer, Journal of Logic, New York, Process Dependence Net, Generalized Algorithmic Debugging Technique, International Workshop, New Generation Computing, Notices Vol, University of Melbourne, Computer Society Press, Information Processing Letters, Morgan Kaufmann, San Diego New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 47
books:
See all 47 books this book cites
- Algorithmic Program Debugging (ACM Distinguished Dissertation) by Ehud Y. Shapiro on 15 pages
- Generalized Algorithmic Debugging by Nahid Shahmehri on 7 pages
- Foundations of Logic Programming (Symbolic Computation : Artificial Intelligence) by John Wylie Lloyd on 6 pages
- Automatic correction and improvement of programs (Ellis Horwood books in computing science) by H Wertz on page 15, and page 304
- Readings in Model-Based Diagnosis by Walter Hamscher on page 87, and Back Matter
See all 47 books this book cites
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Programming > Algorithms
- Books > Computers & Technology > Programming > Languages & Tools
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Testing
- Books > New & Used Textbooks > Computer Science > Programming Languages
- Books > New & Used Textbooks > Computer Science > Software Design & Engineering
- Books > Science & Math > Mathematics
