Backward trace slicing for rewriting logic theories

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

Volumn 6803 LNAI, Issue , 2011, Pages 34-48

  Alpuente, María ^a   Ballis, Demis ^b   Espert, Javier ^a   Romero, Daniel ^a  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

^b UNIVERSITY OF UDINE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ASSOCIATIVITY; COMMUTATIVITY; DATA DEPENDENCIES; EXECUTION TRACE ANALYSIS; REWRITING LOGIC;

AUTOMATION; MODEL CHECKING; PROGRAM DEBUGGING;

TRACE ANALYSIS;

EID: 80051703006     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-22438-6_5     Document Type: Conference Paper

References (18)

1. Alpuente, M., Ballis, D., Espert, J., Romero, D.: Backward trace slicing for RWL rewriting logic theories (Technical Report), http://hdl.handle.net/ 10251/10770
2. Alpuente, M., Ballis, D., Baggi, M., Falaschi, M.: A Fold/Unfold Transformation Framework for Rewrite Theories extended to CCT. In: Proc. PEPM 2010, pp. 43-52. ACM, New York (2010)
3. Alpuente, M., Ballis, D., Espert, J., Romero, D.: Model-Checking Web Applications with Web-TLR. In: Bouajjani, A., Chin, W.-N. (eds.) ATVA 2010. LNCS, vol. 6252, pp. 341-346. Springer, Heidelberg (2010)
4. Alpuente, M., Ballis, D., Romero, D.: Specification and Verification of Web Applications in Rewriting Logic. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol. 5850, pp. 790-805. Springer, Heidelberg (2009)
5. Baggi, M., Ballis, D., Falaschi, M.: Quantitative pathway logic for computational biology. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol. 5688, pp. 68-82. Springer, Heidelberg (2009)
6. Bethke, I., Klop, J.W., de Vrijer, R.: Descendants and origins in term rewriting. Inf. Comput. 159(1-2), 59-124 (2000)
7. Chen, F., Roşu, G.: Parametric trace slicing and monitoring. In: Kowalewski, S., Philippou, A. (eds.) TACAS 2009. LNCS, vol. 5505, pp. 246-261. Springer, Heidelberg (2009)
8. Chitil, O., Runciman, C., Wallace, M.: Freja, hat and hood-a comparative evaluation of three systems for tracing and debugging lazy functional programs. In: Mohnen, M., Koopman, P. (eds.) IFL 2000. LNCS, vol. 2011, pp. 176-193. Springer, Heidelberg (2001) (Pubitemid 33269849)
9. Clavel, M., Durán, F., Eker, S., Lincoln, P., Mart́i-Oliet, N., Bevilacqua, V., Talcott, C.: All About Maude-A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007)
10. Clavel, M., Durán, F., Hendrix, J., Lucas, S., Bevilacqua, V., Ölveczky, P.C.: The Maude Formal Tool Environment. In: Mossakowski, T., Montanari, U., Haveraaen, M. (eds.) CALCO 2007. LNCS, vol. 4624, pp. 173-178. Springer, Heidelberg (2007)
11. Eker, S.: Associative-Commutative Rewriting on Large Terms. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol. 2706, pp. 14-29. Springer, Heidelberg (2003) (Pubitemid 36768710)
12. Eker, S., Bevilacqua, V., Sridharanarayanan, A.: The maude LTL model checker and its implementation. In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003. LNCS, vol. 2648, pp. 230-234. Springer, Heidelberg (2003)
13. Field, J., Tip, F.: Dynamic dependence in term rewriting systems and its application to program slicing. In: Penjam, J. (ed.) PLILP 1994. LNCS, vol. 844, pp. 415-431. Springer, Heidelberg (1994)
14. Mart́i-Oliet, N., Meseguer, J.: Rewriting Logic: Roadmap and Bibliography. Theoretical Computer Science 285(2), 121-154 (2002) (Pubitemid 34867167)
15. Riesco, A., Verdejo, A., Mart́i-Oliet, N.: Declarative Debugging of Missing Answers for Maude Specifications. In: Proc. RTA 2010, LIPIcs, vol. 6, pp. 277-294 (2010)
16. Rosu, G., Havelund, K.: Rewriting-Based Techniques for Runtime Verification. Autom. Softw. Eng. 12(2), 151-197 (2005) (Pubitemid 40537733)
17. Talcott, C.: Pathway logic. Formal Methods for Computational Systems Biology 5016, 21-53 (2008)
18. TeReSe (ed.): Term Rewriting Systems. Cambridge University Press, Cambridge (2003)