Automated and Algorithmic Debugging: First International by Mireille Ducassé (auth.), Peter A. Fritzson (eds.)

By Mireille Ducassé (auth.), Peter A. Fritzson (eds.)

Debugging has continuously been a expensive a part of software program improvement, and lots of makes an attempt were made to supply computerized machine help for this task.Automated debugging has visible significant develoments over the past decade. Onesuccessful improvement is algorithmic debugging, which originated in common sense programming yet was once later generalized to concurrent, vital, and lazy practical languages. very important advances have additionally been made in knowledge-based application debugging, and in ways to computerized debugging in line with static and dynamic application cutting in accordance with dataflow and dependence research know-how. this is often the 1st gathered quantity of papers on computerized debugging and offers newest advancements, educational papers, and surveys.

Show description

Read or Download Automated and Algorithmic Debugging: First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 Proceedings PDF

Similar international conferences and symposiums books

Field Programmable Logic and Applications: 9th International Workshop, FPL’99, Glasgow, UK, August 30 - September 1, 1999. Proceedings

This ebook includes the papers provided on the ninth foreign Workshop on box ProgrammableLogic and purposes (FPL’99), hosted via the college of Strathclyde in Glasgow, Scotland, August 30 – September 1, 1999. FPL’99 is the 9th within the sequence of annual FPL workshops. The FPL’99 programme committee has been lucky to have acquired lots of fine quality papers addressing a variety of issues.

Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004 Fort Lauderdale, FL, USA, January 6-8, 2004 Proceedings

This booklet constitutes the refereed court cases of the seventh foreign convention on common sense Programming and Nonmonotonic Reasoning, LPNMR 2004, held in fortress Lauderdale, Florida, united states in January 2004. The 24 revised complete papers provided including eight approach descriptions have been conscientiously reviewed and chosen for presentation.

Extra resources for Automated and Algorithmic Debugging: First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 Proceedings

Example text

E. S supported by T). T h e o r e m 12. If there is a co-symptom then there is a co-error. 46 4 Symptoms and Errors for Definite Programs We apply the notions of the previous section to definite programR. e. that each atom of M+(P) satisfies some property. From an abstract viewpoint we are expecting M + (P) - ind(T) C_ S for some set S which is a set-theoretical formalization of an expected property. The following definitions are equivalent to Shapiro's ones ([20]) : D e f i n i t i o n 13. An incorrectness of P wrt S is an error of T wrt S.

F~ample 3 (continuation). Let us take as expected property the same set S as in the previous example, but let us put a bug in the second clause of the program : rev([ 1, L, L) rev([H[B], A, L) *- rev(B, A, L) (the bug is A instead of [HIA] in the body) Then rev([a, b], [], []) is an (incorrectness) symptom and the clause instance rev([ ], [ ], []) is an incorrectness ("cause " of the symptom). It is clearly seen in the proof tree rev([b], [], [ ]) 4- re ([a, b], [ 1, []) I r~(Ib], [], [l) I l, [1, []) From the dual viewpoint : The following definitions are equivalent to Shapiro's ones ([20]): D e f i n i t i o n 14.

This is partially due to the declarative characteristic of the system which does not cousider dependencies within a program. e. functional languages, pure Prolog programs and generally languages without loops and side-effects. The examples given in Shapiro's work are small Prolog programs. An improvement to Shapiro's work is reported by Drabent and his colleagues [Drabeta188]. They have extended APD's query language in order to reduce the number of user queries. e. an assertion. Their system is implemented in Prolog and the assertions are Prolog programs.

Download PDF sample

Rated 4.77 of 5 – based on 27 votes

Related posts