A declarative debugger for Maude

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

Volumn 5140 LNCS, Issue , 2008, Pages 116-121

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

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; COMPUTER PROGRAMMING; TECHNOLOGY;

INTERNATIONAL CONFERENCES; SOFTWARE TECHNOLOGIES; SYSTEM MODULES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 51049123877     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-79980-1_9     Document Type: Conference Paper

References (10)

1. Caballero, R., Martí-Oliet, N., Riesco. A., Verdejo. A.: A declarative debugger for Maude functional modules. In: Proceedings Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008. Elsevier, Amsterdam (to appear, 2008)
2. Caballero, R., Martí-Oliet. N., Riesco, A., Verdejo. A.: Declarative debugging of membership equational logic specifications. In: Degano, P., Nicola, R.D., Meseguer, J. (eds.) Concurrency. Graphs and Models. LNCS, vol. 5065, pp. 174-193. Springer, Heidelberg (2008)
3. Caballero, R., Rodríguez-Artalejo, M.: DDT: A declarative debugging tool for functionallogic languages. In: Proc. 7th International Symposium on Functional and Logic Programming (FLOPS 2004). LNCS, vol. 2998, pp. 70-84. Springer, Heidelberg (2004)
4. 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)
5. Hennessy, M.: The Semantics of Programming Languages: An Elementary Introduction Using Structural Operational Semantics. John Wiley & Sons, Chichester (1990)
6. Lloyd. J.W.: Declarative error diagnosis. New Generation Computing 5(2), 133-154 (1987)
7. Nilsson, H., Fritzson, P.: Algorithmic debugging of lazy functional languages. Journal of Functional Programming 4(3), 337-370 (1994)
8. Shapiro, E.Y.: Algorithmic Program Debugging. ACM Distinguished Dissertation. MIT Press, Cambridge (1983)
9. Verdejo, A., Martí-Oliet, N.: Executable structural operational semantics in Maude. Journal of Logic and Algebraic Programming 67, 226-293 (2006)
10. Riesco, A., Verdejo, A., Caballero. R., Martí-Oliet, N.: Declarative debugging of Maude modules. Technical Report SIC-6/08, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid (2008), http://maude.sip.ucm.es/debugging