A Declarative Debugger for Maude Functional Modules

Electronic Notes in Theoretical Computer Science

Volumn 238, Issue 3, 2009, Pages 63-81

  Caballero, R ^a   Marti Oliet N ^a   Riesco, A ^a   Verdejo, A ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

declarative debugging; functional modules; Maude; membership equational logic; metalevel implementation

Indexed keywords

DECLARATIVE DEBUGGING; FUNCTIONAL MODULES; MAUDE; MEMBERSHIP EQUATIONAL LOGIC; METALEVEL IMPLEMENTATION;

USER INTERFACES;

FORMAL LOGIC;

EID: 67649407375     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.05.013     Document Type: Article

References (22)

1. Alpuente M., Comini M., Escobar S., Falaschi M., and Lucas S. Abstract diagnosis of functional programs. In: Leuschel M. (Ed). Logic Based Program Synthesis and Transformation. Lecture Notes in Computer Science volume 2664 (2002), Springer 1-16
2. Bouhoula A., Jouannaud J.-P., and Meseguer J. Specification and proof in membership equational logic. Theoretical Computer Science 236 (2000) 35-132
3. Caballero R. A declarative debugger of incorrect answers for constraint functional-logic programs. WCFLP '05: Proceedings of the 2005 ACM SIGPLAN Workshop on Curry and Functional Logic Programming. New York, NY, USA (2005), ACM Press 8-13
4. R. Caballero, N. Martí-Oliet, A. Riesco, and A. Verdejo. Declarative debugging of Maude functional modules. Technical Report SIC-4/07, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2007. http://maude.sip.ucm.es/debugging
5. Caballero R., and Rodríguez-Artalejo M. DDT: A declarative debugging tool for functional-logic languages. Proc. 7th International Symposium on Functional and Logic Programming (FLOPS'04). Lecture Notes in Computer Science volume 2998 (2004), Springer 70-84
6. Clavel M. Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications (2000), CSLI Publications, Stanford University
7. Clavel M., Durán F., Eker S., Lincoln P., Martí-Oliet N., Meseguer J., and Talcott C. All About Maude: A High-Performance Logical Framework. Lecture Notes in Computer Science volume 4350 (2007), Springer
8. Clavel M., Meseguer J., and Palomino M. Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. Theoretical Computer Science 373 1-2 (2007) 70-91
9. Comini M., Levi G., Meo M.C., and Vitiello G. Abstract diagnosis. Journal of Logic Programming 39 1-3 (1999) 43-93
10. Lloyd J.W. Declarative error diagnosis. New Generation Computing 5 2 (1987) 133-154
11. I. MacLarty. Practical Declarative Debugging of Mercury Programs. PhD thesis, University of Melbourne, 2005
12. Meseguer J. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science 96 1 (1992) 73-155
13. Meseguer J. Membership algebra as a logical framework for equational specification. In: Parisi-Presicce F. (Ed). Recent Trends in Algebraic Development Techniques. 12th International Workshop, WADT'97, Tarquinia, Italy, June 3-7, 1997, Selected Papers. Lecture Notes in Computer Science volume 1376 (1998), Springer 18-61
14. Naish L. Declarative diagnosis of missing answers. New Generation Computing 10 3 (1992) 255-286
15. Naish L. A declarative debugging scheme. Journal of Functional and Logic Programming 1997 3 (1997)
16. Nilsson H. How to look busy while being as lazy as ever: the implementation of a lazy functional debugger. Journal of Functional Programming 11 6 (2001) 629-671
17. Nilsson H., and Fritzson P. Algorithmic debugging of lazy functional languages. Journal of Functional Programming 4 3 (1994) 337-370
18. Pope B. Declarative debugging with Buddha. Advanced Functional Programming - 5th International School, AFP 2004. Lecture Notes in Computer Science volume 3622 (2005), Springer 273-308
19. E.Y. Shapiro. Algorithmic Program Debugging. ACM Distinguished Dissertation. MIT Press, 1983
20. Silva J. A comparative study of algorithmic debugging strategies. In: Puebla G. (Ed). Logic-Based Program Synthesis and Transformation. Lecture Notes in Computer Science volume 4407 (2007), Springer 143-159
21. Takahashi N., and Ono S. DDS: A declarative debugging system for functional programs. Systems and Computers in Japan 21 11 (1990) 21-32
22. Tessier A., and Ferrand G. Declarative diagnosis in the CLP scheme. Analysis and Visualization Tools for Constraint Programming, Constraint Debugging (DiSCiPl project) (2000), Springer 151-174