Peter Fritszon (Ed.):
Automated and Algorithmic Debugging, First International Workshop, AADEBUG'93, Linköping, Sweden, May 3-5, 1993, Proceedings.
Lecture Notes in Computer Science 749 Springer 1993, ISBN 3-540-57417-4 Surveys and Tutorials
export record as
dblp key:
export record as
dblp key:
conf/aadebug/ShahmehriKF93 export record as
dblp key:
Gérard Ferrand :
The Notions of Symptom and Error in Declarative Diagnosis of Logic Programs.
40-57
Debugging of Logic Programs I
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Testing and Debugging of Concurrent and Distributed Systems
export record as
dblp key:
export record as
dblp key:
Debugging Functional Programs
export record as
dblp key:
export record as
dblp key:
Debugging of Logic Programs II
export record as
dblp key:
conf/aadebug/HirunkittiH93 export record as
dblp key:
conf/aadebug/TobermannB93 export record as
dblp key:
Dominic Binks :
Declarative Debugging of Abstract Data Types in Gödel.
188-205
Slicing
export record as
dblp key:
export record as
dblp key:
Jingde Cheng :
Slicing Concurrent Programs - A Graph-Theoretical Approach.
223-240
Visualization and Graphical User Interfaces
export record as
dblp key:
Frank Tip :
Animators for Generated Programming Environments.
241-254
export record as
dblp key:
conf/aadebug/Garcia-MartinM93 export record as
dblp key:
Knowledge-Based Debugging and Trace-Based Debugging
export record as
dblp key:
Rudi Lutz :
Towards a Plan Calculus Based Intelligent Debugging System.
287-304
export record as
dblp key:
Software Maintenance and Debugging of Logic Programs III
export record as
dblp key:
Bogdan Korel :
Identifying Faulty Modifications in Software Maintenance.
315-332
export record as
dblp key:
export record as
dblp key:
conf/aadebug/KuchcinskiDM93
data released under the ODC-BY 1.0 license
