A Complete Declarative Debugger for Maude-Reference-Cited by-同舟云学术

A Complete Declarative Debugger for Maude

Published:2011 Issue: Volume: Page:216-225
ISSN:0302-9743
Container-title:Algebraic Methodology and Software Technology
language:
Short-container-title:

Author:

Riesco Adrián,Verdejo Alberto,Martí-Oliet Narciso

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-17796-5_14

Reference9 articles.

1. ENTCS;R. Caballero,2009

2. Lecture Notes in Computer Science,2007

3. Riesco, A., Verdejo, A., Caballero, R., Martí-Oliet, N.: 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), http://maude.sip.ucm.es/debugging

4. LNCS;A. Riesco,2009

5. Riesco, A., Verdejo, A., Martí-Oliet, N.: Declarative debugging of missing answers for Maude specifications. In: Lynch, C. (ed.) Proceedings of the 21st International Conference on Rewriting Techniques and Applications (RTA 2010). Leibniz International Proceedings in Informatics, vol. 6, pp. 277–294. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik (2010)

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On declarative rewriting for sound and complete union, intersection and negation types;Journal of Computer Languages;2019-02

2. Using conditional trace slicing for improving Maude programs;Science of Computer Programming;2014-02

3. Declarative debugging of rewriting logic specifications;The Journal of Logic and Algebraic Programming;2012-10

4. Rewriting logic bibliography by topic: 1990–2011;The Journal of Logic and Algebraic Programming;2012-10

5. Program Analysis Scenarios in Rascal;Rewriting Logic and Its Applications;2012