Declarative debugging of missing answers for Maude specifications

Leibniz International Proceedings in Informatics, LIPIcs

Volumn 6, Issue , 2010, Pages 277-294

  Riesco, Adrián ^a   Verdejo, Alberto ^a   Martí Oliet, Narciso ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

Declarative debugging; Maude; Missing answers; Rewriting logic

Indexed keywords

DECLARATIVE DEBUGGING; HIGH PERFORMANCE SYSTEMS; MAUDE; MAUDE SPECIFICATIONS; MEMBERSHIP EQUATIONAL LOGIC; MISSING ANSWERS; PROGRAM FRAGMENTS; REWRITING LOGIC;

CALCULATIONS; EQUATIONS OF STATE; FORESTRY;

PROGRAM DEBUGGING;

EID: 77957808925     PISSN: 18688969     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. M. Alpuente, M. Comini, S. Escobar, M. Falaschi, and S. Lucas. Abstract diagnosis of functional programs. In M. Leuschel, editor, Logic Based Program Synthesis and Transformation, volume 2664 of Lecture Notes in Computer Science, pages 1-16. Springer, 2002.
2. A. Bouhoula, J.-P. Jouannaud, and J. Meseguer. Specification and proof in membership equational logic. Theoretical Computer Science, 236:35-132, 2000.
3. R. Caballero. A declarative debugger of incorrect answers for constraint functional-logic programs. In Proceedings of the 2005 ACM SIGPLAN Workshop on Curry and Functional Logic Programming (WCFLP'05), Tallinn, Estonia, pages 8-13. ACM Press, 2005.
4. R. Caballero, C. Hermanns, and H. Kuchen. Algorithmic debugging of Java programs. In F. J. Ĺopez- Fraguas, editor, 15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid, Spain, volume 177 of Electronic Notes in Theoretical Computer Science, pages 75-89. Elsevier, 2007.
5. R. Caballero, M. Rodŕiguez-Artalejo, and R. del Vado Vírseda. Declarative diagnosis of missing answers in constraint functional-logic programming. In J. Garrigue and M. V. Hermenegildo, editors, Proceedings of 9th International Symposium on Functional and Logic Programming, FLOPS 2008, Ise, Japan, volume 4989 of Lecture Notes in Computer Science, pages 305-321. Springer, 2008.
6. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Mart́i-Oliet, J. Meseguer, and C. Talcott. All About Maude: A High-Performance Logical Framework, volume 4350 of Lecture Notes in Computer Science. Springer, 2007.
7. N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, pages 243-320. North-Holland, 1990.
8. T. Genet. Decidable approximations of sets of descendants and sets of normal forms. In T. Nipkow, editor, Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA 98), volume 1379 of Lecture Notes in Computer Science, pages 151-165. Springer, 1998.
9. I. MacLarty. Practical declarative debugging of Mercury programs. Master's thesis, University of Melbourne, 2005.
10. J. Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 96(1):73-155, 1992.
11. J. Meseguer. Membership algebra as a logical framework for equational specification. In F. Parisi- Presicce, editor, Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT'97, Tarquinia, Italy, June 3-7, 1997, Selected Papers, volume 1376 of Lecture Notes in Computer Science, pages 18-61. Springer, 1998.
12. L. Naish. Declarative diagnosis of missing answers. New Generation Computing, 10(3):255-286, 1992.
13. L. Naish. A declarative debugging scheme. Journal of Functional and Logic Programming, 1997(3), 1997.
14. H. Nilsson. How to look busy while being as lazy as ever: the implementation of a lazy functional debugger. Journal of Functional Programming, 11(6):629-671, 2001.
15. B. Pope. A Declarative Debugger for Haskell. PhD thesis, The University of Melbourne, Australia, 2006.
16. A. Riesco, A. Verdejo, R. Caballero, and N. Marti-Oliet. A declarative debugger for Maude specifications - User guide. Technical Report SIC-7-09, Dpto. Sistemas Inforḿaticos y Computacíon, Universidad Complutense de Madrid, 2009. http://maude.sip.ucm.es/debugging.
17. A. Riesco, A. Verdejo, R. Caballero, and N. Marti-Oliet. Declarative debugging of rewriting logic specifications. In A. Corradini and U. Montanari, editors, Recent Trends in Algebraic Development Techniques (WADT 2008), volume 5486 of Lecture Notes in Computer Science, pages 308-325. Springer, 2009.
18. A. Riesco, A. Verdejo, and N. Marti-Oliet. Enhancing the debugging of Maude specifications. In Proceedings of the 8th International Workshop on Rewriting Logic and its Applications (WRLA 2010), Lecture Notes in Computer Science, 2010. To appear.
19. A. Riesco, A. Verdejo, N. Mart́i-Oliet, and R. Caballero. Declarative debugging of rewriting logic specifications. Technical Report SIC 02/10, Dpto. Sistemas Inforḿaticos y Computacíon, Universidad Complutense de Madrid, 2010. http://maude.sip.ucm.es/debugging.
20. E. Y. Shapiro. Algorithmic Program Debugging. ACM Distinguished Dissertation. MIT Press, 1983.
21. J. Silva. A comparative study of algorithmic debugging strategies. In G. Puebla, editor, Logic-Based Program Synthesis and Transformation, volume 4407 of Lecture Notes in Computer Science, pages 143-159. Springer, 2007.
22. A. Tessier and G. Ferrand. Declarative diagnosis in the CLP scheme. In P. Deransart, M. V. Hermenegildo, and J. Maluszynski, editors, Analysis and Visualization Tools for Constraint Programming, Constraint Debugging (DiSCiPl project), volume 1870 of Lecture Notes in Computer Science, pages 151-174. Springer, 2000.