Declarative debugging of rewriting logic specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5486 LNCS, Issue , 2009, Pages 308-325

  Riesco, Adrian ^a   Verdejo, Alberto ^a   Caballero, Rafael ^a   Martí Oliet, Narciso ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

DEBUGGERS; DECLARATIVE DEBUGGING; MAUDE LANGUAGES; PROGRAM FRAGMENTS; PROOF TREE; REWRITING LOGIC; SEMI-AUTOMATICS; TYPE INFERENCES;

ALGEBRA; SPECIFICATIONS;

PROGRAM DEBUGGING;

EID: 70349329609     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03429-9_20     Document Type: Conference Paper

References (26)

1. Bouhoula, A., Jouannaud, J.-P., Meseguer, J.: Specification and proof in membership equational logic. Theoretical Computer Science 236, 35-132 (2000)
2. Bruni, R., Meseguer, J.: Semantic foundations for generalized rewrite theories. Theoretical Computer Science 360(1), 386-414 (2006)
3. Caballero, R.: A declarative debugger of incorrect answers for constraint functionallogic programs. In: Proceedings of the 2005 ACM SIGPLAN Workshop on Curry and Functional Logic Programming (WCFLP 2005), pp. 8-13. ACM Press, Tallinn (2005)
4. Caballero, R., Hermanns, C., Kuchen, H.: Algorithmic debugging of Java programs. In: López-Fraguas, F.J. (ed.) 15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid. Electronic Notes in Theoretical Computer Science, vol. 177, pp. 75-89. Elsevier, Amsterdam (2007)
5. Caballero, R., Martí-Oliet, N., Riesco, A., Verdejo, A.: Declarative debugging of membership equational logic specifications. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol. 5065, pp. 174-193. Springer, Heidelberg (2008)
6. Caballero, R., Martí-Oliet, N., Riesco, A., Verdejo, A.: A declarative debugger for Maude functional modules. In: Rosu, G. (ed.) Proceedings Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest. Electronic Notes in Computer Science, vol. 238, pp. 63-81. Elsevier, Amsterdam (2009)
7. Caballero, R., Rodríguez-Artalejo, M.: DDT: A declarative debugging tool for functional-logic languages. In: Kameyama, Y., Stuckey, P.J. (eds.) FLOPS 2004. LNCS, vol. 2998, pp. 70-84. Springer, Heidelberg (2004)
8. Caballero, R., Rodríguez-Artalejo, M., del Vado Vírseda, R.: Declarative diagnosis of missing answers in constraint functional-logic programming. In: Garrigue, J., Hermenegildo, M.V. (eds.) FLOPS 2008. LNCS, vol. 4989, pp. 305-321. Springer, Heidelberg (2008)
9. Chitil, O., Luo, Y.: Structure and properties of traces for functional programs. In: Mackie, I. (ed.) Proceedings of the Third International Workshop on Term Graph Rewriting (TERMGRAPH 2006). Electronic Notes in Theoretical Computer Science, vol. 176, pp. 39-63. Elsevier, Amsterdam (2007)
10. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: All About Maude: A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007)
11. Clavel, M., Meseguer, J., Palomino, M.: Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. Theoretical Computer Science 373(1-2), 70-91 (2007)
12. Lloyd, J.W.: Declarative error diagnosis. New Generation Computing 5(2), 133-154 (1987)
13. MacLarty, I.: Practical declarative debugging of Mercury programs. Master's thesis, University of Melbourne (2005)
14. Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science 96(1), 73-155 (1992)
15. Meseguer, J.: Membership algebra as a logical framework for equational specification. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol. 1376, pp. 18-61. Springer, Heidelberg (1998)
16. Naish, L.: Declarative diagnosis of missing answers. New Generation Computing 10(3), 255-286 (1992)
17. Naish, L.: A declarative debugging scheme. Journal of Functional and Logic Programming 1997(3) (1997)
18. 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), 629-671 (2001)
19. Nilsson, H., Fritzson, P.: Algorithmic debugging of lazy functional languages. Journal of Functional Programming 4(3), 337-370 (1994)
20. Pope, B.: A Declarative Debugger for Haskell. PhD thesis, The University of Melbourne, Australia (2006)
21. Riesco, A., Verdejo, A., Caballero, R., Martí-Oliet, N.: Declarative debugging of Maude modules. Technical Report SIC-6/2008, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid (2008), http://maude.sip.ucm.es/debugging
22. Riesco, A., Verdejo, A., Martí-Oliet, N., Caballero, R.: A declarative debugger for Maude. In: Meseguer, J., Rosu, G. (eds.) AMAST 2008. LNCS, vol. 5140, pp. 116-121. Springer, Heidelberg (2008)
23. Shapiro, E.Y.: Algorithmic Program Debugging. In: ACM Distinguished Dissertation. MIT Press, Cambridge (1983)
24. Silva, J.: A comparative study of algorithmic debugging strategies. In: Puebla, G. (ed.) LOPSTR 2006. LNCS, vol. 4407, pp. 143-159. Springer, Heidelberg (2007)
25. Tessier, A., Ferrand, G.: Declarative diagnosis in the CLP scheme. In: Deransart, P., Hermenegildo, M.V., Maluszynski, J. (eds.) DiSCiPl 1999. LNCS, vol. 1870, pp. 151-174. Springer, Heidelberg (2000)
26. Viry, P.: Equational rules for rewriting logic. Theoretical Computer Science 285(2), 487-517 (2002)