The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Programming in an Interactive Environment: the ``Lisp'' Experience
ACM Computing Surveys (CSUR)
Program development by stepwise refinement
Communications of the ACM
Introduction to Mathematical Theory of Computation
Introduction to Mathematical Theory of Computation
Studies in Automatic Programming Logic
Studies in Automatic Programming Logic
Selective Bachtracking for Logic Programs
Proceedings of the 5th Conference on Automated Deduction
PASES: a programming environment for PASCAL
ACM SIGPLAN Notices
Inductive Inference: Theory and Methods
ACM Computing Surveys (CSUR)
Speculative Beats Conservative Justification
Proceedings of the 17th International Conference on Logic Programming
A model and an implementation of a logic programming environment
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Use of correctness assertions in declarative diagnosis
Proceedings of the 2005 ACM symposium on Applied computing
Justification and debugging of answer set programs in ASP
Proceedings of the sixth international symposium on Automated analysis-driven debugging
Test frame updating in CPM testing of Prolog programs
Software Quality Control
Declarative Debugging Meets the World
Electronic Notes in Theoretical Computer Science (ENTCS)
Justifications for logic programs under answer set semantics
Theory and Practice of Logic Programming
Active learning with multiple views
Journal of Artificial Intelligence Research
Evaluating Models for Model-Based Debugging
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
A novel test case generation method for prolog programs based on call patterns semantics
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
Justifications for logic programs under answer set semantics
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Forensic debugging of model transformations
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Using conditional trace slicing for improving Maude programs
Science of Computer Programming
| Hi-index | 0.01 |
The notion of program correctness with respect to an interpretation is defined for a class of programming languages. Under this definition, if a program terminates with an incorrect output then it contains an incorrect procedure. Algorithms for detecting incorrect procedures are developed. These algorithms formalize what experienced programmers may know already.A logic program implementation of these algorithms is described. Its performance suggests that the algorithms can be the backbone of debugging aids that go far beyond what is offered by current programming environments.Applications of algorithmic debugging to automatic program construction are explored.