A three-valued declarative debugging scheme

Proceedings - 23rd Australasian Computer Science Conference, ACSC 2000

Volumn , Issue , 2000, Pages 166-173

  Naish, L ^a  

^a UNIVERSITY OF MELBOURNE   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

EQUIVALENCE CLASSES;

ABNORMAL TERMINATIONS; CONVENTIONAL APPROACH; DEBUGGERS; DECLARATIVE DEBUGGING; FUNCTIONAL PROGRAMS; MODE ERRORS; THREE-VALUED; TYPE ERRORS;

PROGRAM DEBUGGING;

EID: 84880210837     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACSC.2000.824398     Document Type: Conference Paper

References (13)

1. J. Boye and J. Maluszynski. Two aspects of directional types. In L. Sterling, editor, Proceedings of the Twelfth International Conference on Logic Programming, pages 747-761, Kanagawa, Japan, June 1995.
2. W. Drabent and J. Maluszynski. Inductive assertions method for logic programs. Theoretical Computer Science, 59:133-155, 1988.
3. W. Drabent, S. Nadjm-Tehrani, and J. Maluszynski. The use of assertions in algorithmic debugging. In Proceedings of the 1988 International Conference on Fifth Generation Computer Systems, pages 573-581, Tokyo, Dec. 1988.
4. L. Naish. Types and the intended meaning of logic programs. In F. Pfenning, editor, Types in logic programming, pages 189-216. MIT Press, Cambridge, Massachusetts, 1992.
5. L. Naish. Verification of logic programs and imperative programs. In J.-M. Jacquet, editor, Constructing logic programs, pages 143-164. Wiley, Chichester, England, 1993.
6. L. Naish. A declarative view of modes. In Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, pages 185-199. MIT Press, September 1996.
7. L. Naish. A declarative debugging scheme. Journal of Functional and Logic Programming, 1997(3), April 1997.
8. L. Naish. A three-valued declarative debugging scheme. Technical Report 97/5, Dept. of Computer Science, University of Melbourne, Australia, May 1997.
9. L. Naish. A three-valued semantics for horn clause programs. In this volume, January 2000.
10. L. Pereira and M. Calejo. A framework for Prolog debugging. In K. Bowen and R. Kowalski, editors, Proceedings of the Fifth International Conference/Symposium on Logic Programming, pages 481-495, Seattle, Washington, Aug. 1988.
11. L. M. Pereira. Rational debugging in logic programming. In E. Shapiro, editor, Proceedings of the Third International Conference on Logic Programming, pages 203-210, London, England, July 1986. published as Lecture Notes in Computer Science 225 by Springer-Verlag.
12. Y. Rouzaud and L. Nguyen-Phuong. Integrating modes and subtypes into a Prolog type-checker. In Proceedings of the Ninth Joint International Conference and Symposium on Logic Programming, pages 85-97, 1992.
13. E. Y. Shapiro. Algorithmic program debugging. MIT Press, Cambridge, Massachusetts, 1983.