Binks, D.: Declarative Debugging in Gödel. PhD thesis, University of Bristol (1995)
Calejo, M.: A Framework for Declarative Prolog Debugging. PhD thesis, New University of Lisbon (1992)
Davie, T., Chitil, O.: Hat-delta: One Right Does Make a Wrong. In: Butterfield, A. (ed.) Draft Proceedings of the 17th International Workshop on Implementation and Application of Functional Languages, IFL 2005, p. 11. Tech. Report No: TCD-CS-2005-60, University of Dublin, Ireland (September 2005)
[+]
Binks, D.: Declarative Debugging in Gödel. PhD thesis, University of Bristol (1995)
Calejo, M.: A Framework for Declarative Prolog Debugging. PhD thesis, New University of Lisbon (1992)
Davie, T., Chitil, O.: Hat-delta: One Right Does Make a Wrong. In: Butterfield, A. (ed.) Draft Proceedings of the 17th International Workshop on Implementation and Application of Functional Languages, IFL 2005, p. 11. Tech. Report No: TCD-CS-2005-60, University of Dublin, Ireland (September 2005)
Davie, T., Chitil, O.: Hat-delta: One Right Does Make a Wrong. In: Seventh Symposium on Trends in Functional Programming, TFP 2006 (April 2006)
Harrison, P.G., Khoshnevisan, H.: A new approach to recursion removal. Theor. Comput. Sci. 93(1), 91–113 (1992)
Hirunkitti, V., Hogger, C.J.: A Generalised Query Minimisation for Program Debugging. In: Adsul, B. (ed.) AADEBUG 1993. LNCS, vol. 749, pp. 153–170. Springer, Heidelberg (1993)
Insa, D., Silva, J.: An Algorithmic Debugger for Java. In: Proc. of the 26th IEEE International Conference on Software Maintenance, pp. 1–6 (2010)
Insa, D., Silva, J.: Debugging with Incomplete and Dynamically Generated Execution Trees. In: Proc. of the 20th International Symposium on Logic-based Program Synthesis and Transformation, LOPSTR 2010, Austria (2010)
Insa, D., Silva, J.: A Transformation of Iterative Loops into Recursive Loops. Technical Report DSIC/05/12, Universidad Politécnica de Valencia (2012), http://www.dsic.upv.es/~jsilva/research.htm#techs
Insa, D., Silva, J., Tomás, C.: Enhancing Declarative Debugging with Loop Expansion and Tree Compression. Technical Report DSIC/11/12, Universidad Politécnica de Valencia (2012), http://www.dsic.upv.es/~jsilva/research.htm#techs
Liu, Y.A., Stoller, S.D.: From recursion to iteration: what are the optimizations? In: Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 2000, pp. 73–82. ACM, New York (2000)
Lloyd, J.W.: Declarative error diagnosis. New Gen. Comput. 5(2), 133–154 (1987)
Nilsson, H.: Declarative Debugging for Lazy Functional Languages. PhD thesis, Linköping, Sweden (May 1998)
NIST: The Economic Impacts of Inadequate Infrastructure for Software Testing. USA National Institute of Standards and Technology, NIST Planning Report 02-3 (May 2002)
Riesco, A., Verdejo, A., Martí-Oliet, N., Caballero, R.: Declarative Debugging of Rewriting Logic Specifications. Journal of Logic and Algebraic Programming (September 2011)
Shapiro, E.Y.: Algorithmic Program Debugging. MIT Press (1982)
Silva, J.: A Survey on Algorithmic Debugging Strategies. Advances in Engineering Software 42(11), 976–991 (2011)
Yi, Q., Adve, V., Kennedy, K.: Transforming loops to recursion for multi-level memory hierarchies. In: Proceedings of the SIGPLAN 2000 Conference on Programming Language Design and Implementation, pp. 169–181 (2000)
[-]