TY  - CONF
AU  - Peña Marí, Ricardo Vicente
PY  - 2008
UR  - https://hdl.handle.net/20.500.14352/53981
AB  - Se 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...
KW  - Proof carrying code
KW  - Código con certificado asociado
KW  - Programación
KW  - Lenguajes de programación
KW  - lenguaje funcional
KW  - Safe
KW  - Bytecode
KW  - Máquina virtual Java
KW  - Isabelle
TI  - Generación de código con certificado asociado
TY  - conference output
ER  -