You are here

Publications

Export 2 results:
Filters: Keyword is Program Transformation and Author is Michele Baggi  [Clear All Filters]
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.