Completeness of a top-down declarative error diagnoser

References

• Lloyd , J. W. 1987 . Declarative error diagnosis . New Generation Computing , 5 ( 2 ) : 133 – 154 .
   Web of Science ®Google Scholar
• Lloyd , J. W. 1987 . Foundations of Logic Programming , 2nd Edition , Heidelberg : Springer-Verlag .
   Google Scholar
• Naish L. Declarative diagnosis of missing answers Technical Report 88/9 Department of Computer Science, University of Melbourne 1988
   Google Scholar
• Shapiro , E. Y. 1983 . Algorithmic Program Debugging , Massachusetts : MIT Press .
   Google Scholar
• Yan , S. Y. 1987 . Declarative debugging in logic programming . International Journal of Man-Machine Studies , to appear
   Google Scholar
• Yan , S. Y. 1989 . Proceedings of International Conference on Computing and Information (ICCI '89) . Foundations of declarative debugging in arbitrary logic programming . May 1989 , Toronto. pp. 23 – 27 .
   Google Scholar
• Yan S. Y. Naish L. Completeness of an improved declarative debugger Technical Report (forthcoming) Department of Computer Science, University of Melbourne Australia 1989
   Google Scholar