Publisher
Springer International Publishing
Reference33 articles.
1. Alpuente, M., Ballis, D., Baggi, M., Falaschi, M.: A fold/unfold transformation framework for rewrite theories extended to CCT. In: Proceedings of PEPM 2010, pp. 43–52. ACM (2010)
2. Alpuente, M., Ballis, D., Correa, F., Falaschi, M.: An integrated framework for the diagnosis and correction of rule-based programs. Theor. Comput. Sci. 411(47), 4055–4101 (2010)
3. Alpuente, M., Ballis, D., Falaschi, M., Romero, D.: A semi-automatic methodology for repairing faulty web sites. In: Proceedings of SEFM 2006, pp. 31–40. IEEE (2006)
4. Alpuente, M., Ballis, D., Frechina, F., Sapiña, J.: Debugging maude programs via runtime assertion checking and trace slicing. J. Log. Algebr. Meth. Program. 85, 707–736 (2016)
5. Lecture Notes in Computer Science;M Alpuente,1999
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献