Author:
Arora Tarun,Ramakrishnan Raghu,Roth William G.,Seshadri Praveen,Srivastava Divesh
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Catriel Beeri and Raghu Ramakrishnan. On the power of Magic. In Proceedings of the ACM Symposium on Principles of Database Systems, pages 269–283, San Diego, California, March 1987.
2. M. Ducassé and A. M. Emde. A review of automated debugging systems. In Proceedings of the 10th International Conference on Software Engineering, pages 162–171, April 1988.
3. Marcia A. Derr, Shinichi Morishita, and Geoffrey Phipps. Design and implementation of the glue-nail database system. In Proceedings of ACM SIG-MOD International Conference on Management of Data, 1993.
4. M. Ducassé. A general trace query mechanism based on prolog. In Proceedings of the Fourth International Symposium on Programming Language Implementation and Logic Programming, August 1992.
5. Amihai Motro. Seave: A mechanism for verifying user presuppositions in query systems. ACM Transactions on Office Information Systems, 4(4):312–330, October 1986.
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Interactive Debugging of Datalog Programs;Proceedings of the ACM on Programming Languages;2023-10-16
2. Debugging Large-scale Datalog;ACM Transactions on Programming Languages and Systems;2020-05-27
3. Answering the “why” in answer set programming – A survey of explanation approaches;Theory and Practice of Logic Programming;2019-01-15
4. A Survey of Algorithmic Debugging;ACM Computing Surveys;2018-07-31
5. Efficient provenance tracking for datalog using top-k queries;The VLDB Journal;2018-02-22