The Community for Technology Leaders
Australasian Computer Science Conference (2000)
Canberra, Australia
Jan. 31, 2000 to Feb. 3, 2000
ISBN: 0-7695-0518-X
pp: 166
Lee Naish , University of Melbourne
ABSTRACT
Declarative debugging has many advantages over conventional approaches to debugging for logic and functional programs. This paper extends a previously defined scheme for declarative debugging in which computations were considered either correct or erroneous. We argue that a third value, "inadmissible", should be supported and show how this can be done. Two classes of bugs are defined: one equivalent to the bugs defined by the two valued scheme, the other associated with inadmissibility. It is shown how different instances of the scheme can be used to diagnose type errors, mode errors, violated assertions and abnormal termination as well as the more familiar classes of bugs detected by declarative debuggers.
INDEX TERMS
CITATION
Lee Naish, "A Three-Valued Declarative Debugging Scheme", Australasian Computer Science Conference, vol. 00, no. , pp. 166, 2000, doi:10.1109/ACSC.2000.824398
92 ms
(Ver )