Research Catalog

Title

Automated and algorithmic debugging : first international workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993 : proceedings / Peter A. Fritzson, ed.

Author

International Workshop on Automated and Algorithmic Debugging (1st : 1993 : Linköping, Sweden)

Publication

Berlin ; New York : Springer-Verlag, ©1993.

Items in the Library & Off-site

Details

Additional Authors

Fritzson, Peter A., 1952-

Description

viii, 367 pages : illustrations; 24 cm.

Series Statement

Lecture notes in computer science ; 749

Uniform Title

Lecture notes in computer science ; 749.

Subject

• Debugging in computer science > Congresses
• Debugging in computer science
• Automation
• Debugging
• Kongress
• Algoritmos E Estruturas De Dados
• Engenharia De Programacao (Software)
• Débogage > Congrès

Genre/Form

• Conference papers and proceedings.
• Linköping (1993)

Note

• Selection of papers presented at the First International Workshop on Automated and Algorithmic Debugging.

Bibliography (note)

• Includes bibliographical references and index.

Contents

A Pragmatic Survey of Automated Debugging / Mireille Ducasse -- Usability Criteria for Automated Debugging Systems / Nahid Shahmehri, Mariam Kamkar and Peter Fritzson -- The Notions of Symptom and Error in Declarative Diagnosis of Logic Programs / Gerard Ferrand -- Debugging by Diagnosing Assumptions / Luis M. Pereira, Carlos Viegas Damasio and Jose J. Alferes -- Debugging Logic Programs Using Specifications / Yuh-Jeng Lee and Nachum Dershowitz -- Model-Based Diagnosis Meets Error Diagnosis in Logic Programs / Luca Console, Gerhard Friedrich and Daniele T. Dupre -- Towards Declarative Debugging of Concurrent Constraint Programs / Markus P.J. Fromherz -- Hierarchy in Testing Distributed Programs / Sridhar Alagar and S. Venkatesan -- Lazy Algorithmic Debugging: Ideas for Practical Implementation / Henrik Nilsson and Peter Fritzson -- The Location of Errors in Functional Programs / Jonathan E. Hazan and Richard G. Morgan -- A Generalized Query Minimization for Program Debugging / Visit Hirunkitti and C.J. Hogger -- What's in a Trace: The Box Model Revisited / Gerhard Tobermann and Clemens Beckstein -- Declarative Debugging of Abstract Data Types in Godel / Dominic Binks -- Slicing Programs with Arbitrary Control Flow / Thomas Ball and Susan Horwitz -- Slicing Concurrent Programs / Jingde Cheng -- Animators for Generated Programming Environments / Frank Tip -- Visualization as Debugging: Understanding/Debugging the Warren Abstract Machine / Julio Garcia-Martin and Juan J. Moreno-Navarro -- Graphical User Interfaces for Algorithmic Debugging / Rickard Westman and Peter Fritzson -- Towards a Plan Calculus Based Intelligent Debugging System / Rudi Lutz -- Trace-Based Debugging / Steven P. Reiss -- Identifying Faulty Modifications in Software Maintenance / Bogdan Korel -- The Application of Formal Specifications to Software Documentation and Debugging / Anoop Goyal and Sriram Sankar -- Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging / Krzysztof Kuchcinski, Wlodzimierz Drabent and Jan Maluszynski.

ISBN

• 3540574174
• 9783540574170
• 0387574174
• 9780387574172

LCCN

93038413

OCLC

• ocm29023462
• 29023462
• SCSB-2001183

Owning Institutions

Princeton University Library