Proceedings

Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97)

Linköping Electronic Conference Proceedings 1 (1997)

Linköping Electronic Articles in Computer and Information Science vol. 2 nr. 1

Ladda ner proceeding
Visa mer +

Redaktör(er): Kamkar; Mariam (ed.)

Publicerad: 1997-09-10

ISBN:

ISSN: 1650-3686 (tryckt), 1650-3740 (online)

Antal sidor: 197

Innehåll

0 Preface (with proceedings front matter)
Kamkar; Mariam

1 Observation and Control for Debugging Distributed Computations
Garg; Vijay K.

2 Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs
Jones; Richard W.M. ; Kelly; Paul H.J.

3 Debugging Optimised Code Using Function Interpretation
Elms; Kim

4 Assertions for Dynamic Shape Analysis of List Data Structures
Auguston; Mikhail ; Hon; Miu Har

5 Application of Dynamic Slicing in Program Debugging
Korel; Bogdan ; Rilling; Jurgen

6 Slicing; I/O and the Implicit State
Sivagurunathan; Yoga ; Harman; Mark ; Danicic; Sebastian

7 The Design of a Test Case Definition Language
Byers; David ; Engström; Magnus ; Kamkar; Mariam

8 Modeling Intelligent System Execution as State Transition Diagrams to Support Debugging
Howe; Adele E. ; Somlo; Gabriel

9 DDB Trees: A Basis for Deductive Database Explanations
Mallet; Sarah ; Ducassé; Mireille

10 Constraint Programs Debugging: Current Activities Inside the DiSCiPl Esprit Program
Aggoun; A. ; Bueno; F. ; Carro; M. ; Deransart; P. ; Fabris; M. ; Drabent; W. ; Ferrand; G. ; Hermenegildo; M. ; Lai; C. ; Lloyd; J. ; Maluszynski; J. ; Puebla; G. ; Tessier; A

11 Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach
Boye; Johan ; Drabent; Wlodek ; Maluszynski; Jan

12 Positive And Negative Diagnosis for Constraint Logic Programs in Terms of Proof Skeletons
Ferrand; Gérard ; Tessier; Alexandre

13 On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs
Bueno; F. ; Deransart; P. ; Drabent; W. ; Ferrand; G. ; Hermenegildo; M. ; Maluszynski; J. ; Puebla; G.

14 Walk Backwards to Happiness : Debugging by Time Travel
Booth; Simon P. ; Jones; Simon B

15 Bisection Debugging
Gross; Thomas

16 A Hybrid Approach to Propagation Analysis
Byers; David ; Kamkar; Mariam