G. Bacci and Comini, M.,
“Abstract Diagnosis of First Order Functional Logic Programs”,
Logic-Based Program Synthesis and Transformation – 20th International Symposium – Pre-Proceedings, vol. 10-14. Hagenberg, Austria, pp. 58–72, 2010.
M. Alpuente, Baggi, M., Ballis, D., and Falaschi, M.,
“Completeness of Unfolding for Rewriting Logic Theories”,
12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010. IEEE Computer Society Press, pp. 116–123, 2010.
M. Alpuente, Baggi, M., Ballis, D., and Falaschi, M.,
“Completeness of Unfolding for Rewriting Logic Theories”,
12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010. IEEE Computer Society Press, pp. 116–123, 2010.
M. Alpuente, Baggi, M., Ballis, D., and Falaschi, M.,
“A Fold/Unfold Transformation Framework for Rewrite Theories Extended to CCT”,
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010. Springer, pp. 43–52, 2010.
M. Alpuente, Baggi, M., Ballis, D., and Falaschi, M.,
“A Fold/Unfold Transformation Framework for Rewrite Theories Extended to CCT”,
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010. Springer, pp. 43–52, 2010.
M. Alpuente, Ballis, D., Correa, F., and Falaschi, M.,
“An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs”,
Theoretical Computer Science, vol. 411, no. 47, 2010.