You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 94 results:

BibTex

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

A

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, Gramlich, B., and Villanueva, A., “A Framework for Timed Concurrent Constraint Programming with External Functions”, Electronic Notes in Theoretical Computer Science, vol. 188C, pp. 143–155, 2007.

M. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A., “Implementing Datalog in Maude”, Proceedings of the IX Jornadas sobre Programación y Lenguajes (PROLE'09) and I Taller de Programación Funcional (TPF'09). pp. 15–22, 2009.

M. Alpuente, Ballis, D., Espert, J., and Romero, D. O., “Model-checking Web Applications with Web-TLR”, 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010). Springer, 2010.

Pages