You are here

Publications

Export 6 results:
Filters: Author is Pimentel, E.  [Clear All Filters]
Conference Proceedings
M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A., An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation, Actas de las VII Jornadas de Programación y Lenguajes (PROLE'07). pp. 81–92, 2007.
M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A., Verifying Real-Time Properties of tccp Programs, Proc. of the Quintas Jornadas sobre Programación y Lenguajes, PROLE'05, 2005. pp. 85–94, 2005.