Backward trace slicing for conditional rewrite theories

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

Volumn 7180 LNCS, Issue , 2012, Pages 62-76

  Alpuente, María ^a   Ballis, Demis ^b   Frechina, Francisco ^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

COMPATIBILITY CONDITIONS; CONDITIONAL EXECUTION; FINAL STATE; REWRITE THEORY; REWRITING LOGIC; SLICING CRITERION;

ARTIFICIAL INTELLIGENCE;

TRACE ANALYSIS;

EID: 84858311249     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-28717-6_8     Document Type: Conference Paper

References (18)

1. Alpuente, M., Ballis, D., Espert, J., Frechina, F., Romero, D.: Debugging of Web Applications with WEB-TLR. In: 7th Int'l Workshop on Automated Specification and Verification of Web Systems WWV 2011. EPTCS, vol. 61, pp. 66-80 (2011)
2. Alpuente, M., Ballis, D., Espert, J., Romero, D.: Model-CheckingWeb Applications with Web-TLR. In: Bouajjani, A., Chin, W. (eds.) ATVA 2010. LNCS, vol. 6252, pp. 341-346. Springer, Heidelberg (2010)
3. Alpuente, M., Ballis, D., Espert, J., Romero, D.: Backward Trace Slicing for Rewriting Logic Theories. In: Bjørner, N., Sofronie-Stokkermans, V. (eds.) CADE 2011. LNCS (LNAI), vol. 6803, pp. 34-48. Springer, Heidelberg (2011)
4. Alpuente, M., Ballis, D., Frechina, F., Romero, D.: Trace Slicing of Conditional Rewrite Theories. Tech. rep., Universidad Politécnica de Valencia (2012)
5. 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)
6. Bae, K., Meseguer, J.: A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting. In: 9th Int'lWorkshop on Rule-Based Programming RULE 2008. ENTCS. Elsevier (2008)
7. 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)
8. Bethke, I., Klop, J.W., de Vrijer, R.: Descendants and origins in term rewriting. Inf. Comput. 159(1-2), 59-124 (2000)
9. Bruni, R., Meseguer, J.: Semantic Foundations for Generalized Rewrite Theories. Theoretical Computer Science 360(1-3), 386-414 (2006)
10. Chen, F., Rosu, G.: Parametric Trace Slicing and Monitoring. In: Kowalewski, S., Philippou, A. (eds.) TACAS 2009. LNCS, vol. 5505, pp. 246-261. Springer, Heidelberg (2009)
11. 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)
12. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: Maude Manual (Version 2.6). Tech. rep., SRI Int'l Computer Science Laboratory (2011), http://maude.cs.uiuc.edu/maude2-manual/
13. Durán, F., Meseguer, J.: A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories. In: Ölveczky, P.C. (ed.) WRLA 2010. LNCS, vol. 6381, pp. 86-103. Springer, Heidelberg (2010)
14. Field, J., Tip, F.: Dynamic Dependence in Term Rewriting Systems and its Application to Program Slicing. In:Hermenegildo, M., Penjam, J. (eds.) PLILP 1994. LNCS, vol. 844, pp. 415-431. Springer, Heidelberg (1994)
15. Klop, J.: Term Rewriting Systems. In: Abramsky, S.,Gabbay, D.,Maibaum,T. (eds.) Handbook of Logic in Computer Science, vol. I, pp. 1-112. Oxford University Press (1992)
16. Meseguer, J.: Conditional Rewriting Logic as a Unified Model of Concurrency. Theoretical Computer Science 96(1), 73-155 (1992)
17. Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algebr. Program., 17-139 (2004)
18. TeReSe (ed.): Term Rewriting Systems. Cambridge University Press, Cambridge (2003)