Declarative debugging of rewriting logic specifications

Alpuente, 2002, Abstract diagnosis of functional programs, vol. 2664, 1 Bouhoula, 2000, Specification and proof in membership equational logic, Theoret. Comput. Sci., 236, 35, 10.1016/S0304-3975(99)00206-6 B. Braßel, The debugger B.I.O., 2008. Available from: <http://www-ps.informatik.uni-kiel.de/currywiki/tools/oracle_debugger>. Bruni, 2006, Semantic foundations for generalized rewrite theories, Theoret. Comput. Sci., 360, 386, 10.1016/j.tcs.2006.04.012 Caballero, 2005, A declarative debugger of incorrect answers for constraint functional-logic programs, 8 Caballero, 2007, Algorithmic debugging of Java programs, vol. 177, 75 Caballero, 2008, Declarative debugging of membership equational logic specifications, vol. 5065, 174 Caballero, 2009, A declarative debugger for Maude functional modules, vol. 2383, 63 Caballero, 2004, DDT: a declarative debugging tool for functional-logic languages, vol. 2998, 70 Caballero, 2008, Declarative diagnosis of missing answers in constraint functional-logic programming, vol. 4989, 305 Chitil, 2007, Structure and properties of traces for functional programs, vol. 176, 39 M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martı´-Oliet, J. Meseguer, C. Talcott, All about Maude: a high-performance logical framework, Lecture Notes in Computer Science, vol. 4350, Springer, 2007. Clavel, 2007, Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic, Theoret. Comput. Sci., 373, 70, 10.1016/j.tcs.2006.12.009 T. Davie, O. Chitil, Hat-Delta:one right does make a wrong, in: Seventh Symposium on Trends in Functional Programming, TFP 06. Dershowitz, 1990, Rewrite systems, 243 Insa, 2010, An algorithmic debugger for Java, 1 Insa, 2010, Balancing execution trees, 129 Lloyd, 1987, Declarative error diagnosis, New Gener. Comput., 5, 133, 10.1007/BF03037396 W. Lux, Münster Curry User’s Guide, 0.9.10 ed., 2006. I. MacLarty, Practical Declarative Debugging of Mercury Programs, Master’s Thesis, University of Melbourne, 2005. Meseguer, 1992, Conditional rewriting logic as a unified model of concurrency, Theoret. Comput. Sci., 96, 73, 10.1016/0304-3975(92)90182-F Meseguer, 1998, Membership algebra as a logical framework for equational specification, vol. 1376, 18 Naish, 1992, Declarative diagnosis of missing answers, New Gener. Comput., 10, 255, 10.1007/BF03037939 Naish, 1997, A declarative debugging scheme, J. Funct. Logic Programming, 1997 L. Naish, P.W. Dart, J. Zobel, The NU-Prolog debugging environment, Technical Report 88/31, Department of Computer Science, University of Melbourne, Australia, June 1989. Available from: <http://www.cs.mu.oz.au/lee/papers/nude/>. Nilsson, 2001, How to look busy while being as lazy as ever: the implementation of a lazy functional debugger, J. Funct. Programming, 11, 629, 10.1017/S095679680100418X Pope, 2005, Declarative debugging with Buddha, vol. 3622, 273 B. Pope, A Declarative Debugger for Haskell, Ph.D. Thesis, The University of Melbourne, Australia, 2006. A. Riesco, A. Verdejo, R. Caballero, N. Martı´-Oliet, A Declarative Debugger for Maude Specifications – User Guide, Technical Report SIC-7-09, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2009. Available from: <http://maude.sip.ucm.es/debugging>. Riesco, 2009, Declarative debugging of rewriting logic specifications, vol. 5486, 308 Riesco, 2010, Declarative debugging of missing answers for Maude specifications, vol. 6, 277 Riesco, 2010, Enhancing the debugging of Maude specifications, vol. 6381, 226 Riesco, 2011, A complete declarative debugger for Maude, vol. 6486, 216 Riesco, 2008, A declarative debugger for Maude, vol. 5140, 116 Shapiro, 1983 Silva, 2007, A comparative study of algorithmic debugging strategies, vol. 4407, 143 J. Silva, Debugging Techniques for Declarative Languages: Profiling, Program Slicing, and Algorithmic Debugging, Ph.D. Thesis, Technical University of Valencia, June, 2007. Tessier, 2000, Declarative diagnosis in the CLP scheme, vol. 1870, 151 Viry, 2002, Equational rules for rewriting logic, Theoret. Comput. Sci., 285, 487, 10.1016/S0304-3975(01)00366-8