| This volume contains a selection of the papers which were accepted for presentation at AADEBUG'93, the First International Workshop on Automated and Algorithmic Debugging, held in Link6ping, Sweden, 3-5 May 1993.
The area referred to as automated debugging has seen major developments over the last decade. One especially successful area of automated debugging is algorithmic debugging which originated in logic programming but later has been generalized to concurrent languages, imperative languages, lazy functional languages, etc. Important advances have also been made in knowledge-based program debugging, and in approaches to automated debugging based on static and dyoamlc program slicing.
The goal of the workshop was to bring together researchers from different areas of automated debugging and different programming communities to exchange ideas and advance the state of the art of automated debugging. A total of 28 papers were submitted to the workshop of which 21 were selected for this volume. This is an unusually high acr~ptance rate, but both the program committee and the Lecture Notes editor judged that the average quality of the submitted papers was sufficiently high. Perhaps this is not uncommon for the first workshop to be arranged in a specialized area. An additional six papers of the submitted ones were only accepted for short presentations at the workshop, and are not present in this proceedings.
On behalf of the Program Committee, the Program Chairman would like to thank all those who submitted papers to AADEBUG'93. Thanks also go to the Program Committee and others who helped in reviewing and evaluating the papers. Also, special thanks to the invited keynote speaker, Professor Ehud Shapiro, who managed to come to the workshop despite a very busy schedule. Last but not the least, the effort of all those who helped in organizing the workshop in one way or another, in particular Henrik Nilsson and Gunilla Blom-Lingenhult, is gratefully acknowledged. |
