A New Technique for Verifying and Correcting Logic Programs
Journal of Automated Reasoning
A Program Dependence Model for Concurrent Logic Programs and Its Applications
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Use of correctness assertions in declarative diagnosis
Proceedings of the 2005 ACM symposium on Applied computing
Divide-and-query and subterm dependency tracking in the mercury declarative debugger
Proceedings of the sixth international symposium on Automated analysis-driven debugging
A three-valued semantics for logic programmers
Theory and Practice of Logic Programming
Explaining Prolog based expert systems using a layered meta-interpreter
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
A survey on algorithmic debugging strategies
Advances in Engineering Software
Controlling search space materialization in a practical declarative debugger
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
Declarative diagnosis of floundering in prolog
ACSC '12 Proceedings of the Thirty-fifth Australasian Computer Science Conference - Volume 122
Logic programming: from underspecification to undefinedness
CATS '12 Proceedings of the Eighteenth Computing: The Australasian Theory Symposium - Volume 128
Hi-index | 0.00 |