Automated and Algorithmic Debugging

First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 Proceedings

Editors:

ISBN: 978-3-540-57417-0 (Print) 978-3-540-48141-6 (Online)

Table of contents (23 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. No Access

    Book Chapter

    Pages 1-15

    A pragmatic survey of automated debugging

  3. No Access

    Book Chapter

    Pages 16-39

    Usability criteria for automated debugging systems

  4. No Access

    Book Chapter

    Pages 40-57

    The notions of symptom and error in declarative diagnosis of logic programs

  5. No Access

    Book Chapter

    Pages 58-74

    Debugging by diagnosing assumptions

  6. No Access

    Book Chapter

    Pages 75-84

    Debugging logic programs using specifications

  7. No Access

    Book Chapter

    Pages 85-87

    Model-based diagnosis meets error diagnosis in logic programs

  8. No Access

    Book Chapter

    Pages 88-100

    Towards declarative debugging of concurrent constraint programs

  9. No Access

    Book Chapter

    Pages 101-116

    Hierarchy in testing distributed programs

  10. No Access

    Book Chapter

    Pages 117-134

    Lazy algorithmic debugging: Ideas for practical implementation

  11. No Access

    Book Chapter

    Pages 135-152

    The location of errors in functional programs

  12. No Access

    Book Chapter

    Pages 153-170

    A generalised query minimisation for program debugging

  13. No Access

    Book Chapter

    Pages 171-187

    What's in a trace: The box model revisited

  14. No Access

    Book Chapter

    Pages 188-205

    Declarative debugging of abstract data types in Gödel

  15. No Access

    Book Chapter

    Pages 206-222

    Slicing programs with arbitrary control-flow

  16. No Access

    Book Chapter

    Pages 223-240

    Slicing concurrent programs

  17. No Access

    Book Chapter

    Pages 241-254

    Animators for generated programming environments

  18. No Access

    Book Chapter

    Pages 255-272

    Visualization as debugging: Understanding/debugging the Warren Abstract Machine

  19. No Access

    Book Chapter

    Pages 273-286

    Graphical user interfaces for algorithmic debugging

  20. No Access

    Book Chapter

    Pages 287-304

    Towards a plan calculus based intelligent debugging system

  21. No Access

    Book Chapter

    Pages 305-314

    Trace-based debugging

previous Page of 2