Información del autor
Documentos disponibles escritos por este autor (4)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Peña Marí, Ricardo | 2008-01-31Se explica un enfoque concreto dentro de la línea de investigación `Proof Carrying Code` (código con certificado asociado) en la que se pretende producir programas que satisface ciertas propiedades útiles y a los que se adjunta una demostración [...]texto impreso
Peña Marí, Ricardo | 2013-04-23C. A. R. Hoare será investido Doctor Honoris Causa en Informática por la UCM el viernes 10 de mayo. La Facultad de Informática ha promovido este nombramiento. Hoare es Premio Turing, el máximo galardón que puede alcanzar un informático, y en su[...]texto impreso
Eden extends the non-strict functional language Haskell with constructs to control parallel valuation of processes. Although processes are defined explicitly, communication and synchronisation issues are handled in a way transparent to the progr[...]texto impreso
Peña Marí, Ricardo | 2010-06-16he talk summarizes the work done by the author and his group in the last few years on the functional language Safe. This is an experimental language aimed at platforms with limited memory resources, and at a proof-carrying code framework. Its p[...]
