Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Automated and Algorithmic Debugging: First International Workshop, AADEBUG ' 93, Linköping, Sweden, May 3-5, 1993. Proceedings > A pragmatic survey of automated debugging
Automated and Algorithmic Debugging: First International Workshop, AADEBUG ' 93, Linköping, Sweden, May 3-5, 1993. Proceedings |
Peter A. Fritzson
Springer Berlin Heidelberg
Automated and Algorithmic Debugging: First International Workshop, AADEBUG ' 93, Linköping, Sweden, May 3-5, 1993. Proceedings
A pragmatic survey of automated debugging
Authors

Mireille Ducassé

ARI Id

1664828113117_3684359

Access

Not Available Free

Pages

1-15

DOI

10.1007/BFb0019397

Chapter URL

https://rd.springer.com/chapter/10.1007/BFb0019397

Table of Contents of Book
Showing 1 to 20 of 25 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
A pragmatic survey of automated debugging
Mireille Ducassé
1-15
Usability criteria for automated debugging systems
Nahid Shahmehri; Mariam Kamkar; Peter Fritzson
16-39
The notions of symptom and error in declarative diagnosis of logic programs
Gérard Ferrand
40-57
Debugging by diagnosing assumptions
Luís Moniz Pereira; Carlos Viegas Damásio; José Júlio Alferes
58-74
Debugging logic programs using specifications
Yuh-jeng Lee; Nachum Dershowitz
75-84
Model-based diagnosis meets error diagnosis in logic programs
Luca Console; Gerhard Friedrich; Daniele Theseider Dupré
85-87
Towards declarative debugging of concurrent constraint programs
Markus P. J. Fromherz
88-100
Hierarchy in testing distributed programs
Sridhar Alagar; S. Venkatesan
101-116
Lazy algorithmic debugging: Ideas for practical implementation
Henrik Nilsson; Peter Fritzson
117-134
The location of errors in functional programs
Jonathan E. Hazan; Richard G. Morgan
135-152
A generalised query minimisation for program debugging
Visit Hirunkitti; Christopher J. Hogger
153-170
What's in a trace: The box model revisited
Gerhard Tobermann; Clemens Beckstein
171-187
Declarative debugging of abstract data types in Gödel
Dominic Binks
188-205
Slicing programs with arbitrary control-flow
Thomas Ball; Susan Horwitz
206-222
Slicing concurrent programs
Jingde Cheng
223-240
Animators for generated programming environments
Frank Tip
241-254
Visualization as debugging: Understanding/debugging the Warren Abstract Machine
Julio García-Martín; Juan José Moreno-Navarro
255-272
Graphical user interfaces for algorithmic debugging
Rickard Westman; Peter Fritzson
273-286
Towards a plan calculus based intelligent debugging system
Rudi Lutz
287-304
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 25 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings