Author:
Insa David,Silva Josep,Riesco Adrián
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Binks, D.: Declarative Debugging in Gödel. PhD thesis, University of Bristol (1995)
2. Caballero, R.: A Declarative Debugger of Incorrect Answers for Constraint Functional-Logic Programs. In: Proc. of the 2005 ACM SIGPLAN Workshop on Curry and Functional Logic Programming, WCFLP 2005, pp. 8–13. ACM Press (2005)
3. Caballero, R., Hermanns, C., Kuchen, H.: Algorithmic debugging of Java programs. In: López-Fraguas, F.J. (ed.) Proc. of the 15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid, Spain. ENTCS, vol. 177, pp. 75–89. Elsevier (2007)
4. Calejo, M.: A Framework for Declarative Prolog Debugging. PhD thesis, New University of Lisbon (1992)
5. Davie, T., Chitil, O.: Hat-delta: One Right Does Make a Wrong. In: Seventh Symposium on Trends in Functional Programming, TFP 2006 (April 2006)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A core Erlang semantics for declarative debugging;Journal of Logical and Algebraic Methods in Programming;2019-10
2. A Survey of Algorithmic Debugging;ACM Computing Surveys;2018-07-31
3. Algorithmic debugging generalized;Journal of Logical and Algebraic Methods in Programming;2018-06
4. A Generalized Model for Algorithmic Debugging;Logic-Based Program Synthesis and Transformation;2015
5. Speeding Up Algorithmic Debugging Using Balanced Execution Trees;Tests and Proofs;2013