Título:
An approach to subroutine elimination
Otros títulos:
Coordinador:
Director:
Compilador:
Autor:
Rodríguez Viacava, Leonardo
Tutor:
Tipo de documento:
Reporte técnico
Editor:
Palabras clave:
BYTE CODE VERIFIERS
SUBROUTINES
JAVA CARD
CQQ
FORMAL PROOFS
SUBROUTINES
JAVA CARD
CQQ
FORMAL PROOFS
Descriptores:
Año de publicación:
2003
Contenido:
Resumen:
Subroutines seem to be more a problem than a solution for the Byte Code Verifier's world, especially with resource constrained devices like Java Card. The elimination of subroutines form the Java bytecode would allow the construction of more efficient and precise Byte Code Verifiers. Here we specify a transformation for eliminating subroutines and we prove that its preserves the semantics of the Java program been transformed. Al this is done on top of the COQ Proof Assistant.
Descripción:
Editorial:
UR. FI – INCO.
EN:
Reportes Técnicos 03-13
Financiadores:
Citación:
RODRÍGUEZ VIACAVA, L. "An approach to subroutine elimination". Reportes Técnicos 03-13. UR. FI – INCO, 2003.
Citación:
metadata.cc.license.name:
Documento del Gobiberno:
URI:
http://hdl.handle.net/20.500.12008/3498
ISBN:
e-ISBN:
ISSN:
0797-6410
ISMN:
Otros identificadores:
Título Obtenido:
Facultad o Servicio que otorga el Título:
Licencia:
Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0)
Cobertura geográfica:
Cobertura temporal:
metadata.dc.relation.IsVersionOf:
Clasificación:
Es versión de:
Colecciones:
| Ficheros | Descripción | Tamaño | Formato | ||
|---|---|---|---|---|---|
| TR0313.pdf | — | 127.63 KB | Adobe PDF |