Algorithmic Debugging and Hypothetical Reasoning

Automated Software Engineering

Volumn 4, Issue 2, 1997, Pages 151-178

  Beckstein, Clemens ^a   Tobermann, Gerhard ^b  

^a FRIEDRICH SCHILLER UNIVERSITY JENA   (Germany)

^b Consult F Off Info Mgmt GmbH ^*  (Germany)

Author keywords

Algorithmic debugging; Generalized Horn clauses; Hypothetical reasoning; Intuitionistic logic; Logic programming; Meta interpretation; Negation as inconsistency

Indexed keywords

ALGORITHMIC LANGUAGES; ALGORITHMS; FORMAL LOGIC; LOGIC PROGRAMMING; PROGRAM DIAGNOSTICS; PROLOG (PROGRAMMING LANGUAGE);

ALGORITHMIC DEBUGGING; GENERALIZED HORN CLAUSE INTUITIONISTIC LOGIC; HYPOTHETICAL REASONING; META INTERPRETATION;

PROGRAM DEBUGGING;

EID: 0031126694     PISSN: 09288910     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008633100749     Document Type: Article

References (27)

1. Av-Ron, E. 1984. Top-down diagnosis of PROLOG programs. Master's thesis, Weizmann Institute of Science, Rehovot, Israel.
2. Beckstein, C. 1988. Zur Logik der Logik-Programmierung - Ein konstruktiver Ansatz, Informatik Fachberichte, Vol. 199, Springer-Verlag.
3. Beckstein, C. 1996. Begründungsverwaltung: Grundlagen, Systeme und Algorithmen. Teubner-Texte zur Informatik, Leipzig: Teubner-Verlag.
4. Beckstein, C. and Klausner, J. 1995. An abstract machine for the compilation of logic programs that can guess. In Proceedings of the Workshop on Sequential Implementation Technologies for Logic Programming Languages. Held in association with the 1995 International Logic Programming Symposium, Portland, Oregon.
5. Beckstein, C. and Stolle, R., and Tobermann, G. 1996. Meta-programming for generalized horn clause logic. In Proceedings of the Workshop on Metaprogramming and Metareasoning in Logic, META96, Held in association with the 1996 Joint International Conference and Symposium on Logic Programming, JICSLP-96, Bonn.
6. Beckstein, C. and Tobermann, G. 1992. Evolutionary logic programming with RISC. In Proceedings of the Post-Conference Workshop on Logic Programming Environments (JICSLP 92), available via ftp: faui80.uni-erlangen.de: pub/papers/memos/immd8-92-13.ps.gz, Washington D.C., pp. 16-21.
7. Byrd. L. 1980. Understanding the control flow of PROLOG programs. In Proceedings of the Logic Programming Workshop, Debrecen, pp. 127-138.
8. Callebaut, A. and Demoen, B. 1990. Program source as model for debugging in PROLOG. In Proc. of the Seventh International Conference on Logic Programming.
9. de Kleer, J. 1986. 1. An assumption-based TMS, 2. Extending the ATMS, 3. Problem solving with the ATMS. Artificial Intelligence, 28:127-224.
10. Deville, Y. 1990. Logic Programming: Systematic Program Development. Addison Wesley.
11. Ducassé, M. 1992. An extendible trace analyser to support automated debugging. Ph.D. thesis, University of Rennes, France, Report 758.
12. Ducassé, M. 1993. A pragmatic survey of automated debugging. In, Peter A. Fritzson, editor, Automated and Algorithmic Debugging, First International Workshop, AADEBUG'93, Linköping, Sweden, May 1993, Proceedings, http://ftp.irisa.fr/local/lande/md-aadebug93.ps.gz, Springer-Verlag, LNCS 749, pp. 1-15.
13. Ferrand, G. 1987. Error diagnosis in logic programming, an adaption of E.Y. Shapiro's Method. Journal of Logic Programming, 4:177-189.
14. Gabbay, D.M. 1992. Elements of algorithmic proof. In S. Abramsky, D.M. Gabbay, and T.S.E. Maibaum, editors, Handbook of Logic in Computer Science, 2:331-414 Oxford: Clarendon Press, Background: Computational Structures, Chap. 3.
15. Gabbay, D.M. and Sergot, M.J. 1986. Negation as inconsistency I. The Journal of Logic Programming, 3(1):1-36.
16. Hill, P.M. and Lloyd, J.W. 1989. Analysis of Meta-Programs. In H. Abramson and M.H. Rogers, editors, Proceedings of the Workshop on Meta-Programming in Logic Programming, pp. 23-51
17. Huntbach, M.M. 1989. Interactive program debugging and synthesis, Ph.D. thesis, University of Sussex.
18. Lichtenstein, Y. and Shapiro, E. 1988. Abstract algorithmic debugging. In Robert, A. Kowalski and Kenneth, A. Bowen, editors, Proceedings of the Fifth International Conference and Symposium on Logic Programming, ALP, IEEE, Seattle: The MIT Press, pp. 512-531.
19. Lloyd, J.W. 1987. Foundations of Logic Programming, Springer-Verlag, Berlin (second extended).
20. McCarty, L. Thorne. 1988a. Clausal intuitionistic logic I. Fixed-point semantics. The Journal of Logic Programming, 5(1):1-32.
21. McCarty, L. Thorne. 1988b. Clausal intuitionistic logic II. Tableau proof procedures. The Journal of Logic Programming, 5(2):93-132.
22. Naish, L., Dart, P.W., and Zobel, J. 1989. The NU-prolog debugging environment. In, Giorgio Levi and Maurizio Martelli, editors, Proceedings of the Sixth International Conference on Logic Programming, Lisbon: The MIT Press, pp. 521-536.
23. Pereira, L.M. 1986. Rational debugging in logic programming. In Proc. Third International Logic Programming Conference, LNCS 225, Springer-Verlag, pp. 203-210.
24. Shahmehri, N., Kamkar, M., and Fritzson, P. 1993. A pragmatic survey of automated debugging. In Peter A. Fritzson, editor, Automated and Algorithmic Debugging, First International Workshop, AADEBUG'93, Linköping, Sweden, Proceedings, LNCS 749, Springer-Verlag, pp. 16-39.
25. Shapiro, E.Y. 1982. Algorithmic program debugging. ACM Distinguished Dissertation, Cambridge, Massachusetts: MIT Press.
26. Tobermann, G. 1994. Verallgemeinerte Hornklausellogik: vom logischen Kalkül zum Logik-Programmiersystem. Ph.D. thesis, Universität Erlangen-Nürnberg.
27. Tobermann, G. and Beckstein, C. 1993. What's in a trace: The box model revisited. In Peter A. Fritzson, editor, Automated and Algorithmic Debugging, First International Workshop, AADEBUG'93, Linköping, Sweden, Proceedings, LNCS 749, Springer-Verlag, pp. 171-187.