Skip to main content
SpringerLink
Log in

Automated and Algorithmic Debugging

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

  • Conference proceedings
  • © 1993

Overview

Editors:
  1. Peter A. Fritzson
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 749)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 papers)

  1. Front Matter

    Download chapter PDF

  2. A pragmatic survey of automated debugging

    • Mireille Ducassé
    Pages 1-15

  3. Usability criteria for automated debugging systems

    • Nahid Shahmehri, Mariam Kamkar, Peter Fritzson
    Pages 16-39

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

    • Gérard Ferrand
    Pages 40-57

  5. Debugging by diagnosing assumptions

    • Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes
    Pages 58-74

  6. Debugging logic programs using specifications

    • Yuh-jeng Lee, Nachum Dershowitz
    Pages 75-84

  7. Model-based diagnosis meets error diagnosis in logic programs

    • Luca Console, Gerhard Friedrich, Daniele Theseider Dupré
    Pages 85-87

  8. Towards declarative debugging of concurrent constraint programs

    • Markus P. J. Fromherz
    Pages 88-100

  9. Hierarchy in testing distributed programs

    • Sridhar Alagar, S. Venkatesan
    Pages 101-116

  10. Lazy algorithmic debugging: Ideas for practical implementation

    • Henrik Nilsson, Peter Fritzson
    Pages 117-134

  11. The location of errors in functional programs

    • Jonathan E. Hazan, Richard G. Morgan
    Pages 135-152

  12. A generalised query minimisation for program debugging

    • Visit Hirunkitti, Christopher J. Hogger
    Pages 153-170

  13. What's in a trace: The box model revisited

    • Gerhard Tobermann, Clemens Beckstein
    Pages 171-187

  14. Declarative debugging of abstract data types in Gödel

    • Dominic Binks
    Pages 188-205

  15. Slicing programs with arbitrary control-flow

    • Thomas Ball, Susan Horwitz
    Pages 206-222

  16. Slicing concurrent programs

    • Jingde Cheng
    Pages 223-240

  17. Animators for generated programming environments

    • Frank Tip
    Pages 241-254

  18. Visualization as debugging: Understanding/debugging the Warren Abstract Machine

    • Julio García-Martín, Juan José Moreno-Navarro
    Pages 255-272

  19. Graphical user interfaces for algorithmic debugging

    • Rickard Westman, Peter Fritzson
    Pages 273-286

  20. Towards a plan calculus based intelligent debugging system

    • Rudi Lutz
    Pages 287-304
Back to top

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation