Author:
Caballero R.,García-Ruiz Y.,Sáenz-Pérez F.
Subject
General Computer Science,Theoretical Computer Science
Reference19 articles.
1. Towards a theory of declarative knowledge;Apt,1988
2. Explaining program execution in deductive systems;Arora,1993
3. On the power of magic;Beeri,1987
4. Caballero, R., A declarative debugger of incorrect answers for constraint functional-logic programs, in: WCFLP'05: Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming (2005), pp. 8–13
5. Caballero, R., C. Hermanns and H. Kuchen, Algorithmic Debugging of Java Programs, Electronics Notes in Theorical Computer Science (2007), in Press
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Interactive Debugging of Datalog Programs;Proceedings of the ACM on Programming Languages;2023-10-16
2. Developing and certifying Datalog optimizations in coq/mathcomp;Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs;2021-01-17
3. A Counterexample-Guided Debugger for Non-recursive Datalog;Programming Languages and Systems;2020
4. Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming;Functional and Logic Programming;2008