Por favor, use este identificador para citar o enlazar este ítem:
https://hdl.handle.net/20.500.12008/3498
Cómo citar
| Título: | An approach to subroutine elimination |
| Autor: | Rodríguez Viacava, Leonardo |
| Tipo: | Reporte técnico |
| Palabras clave: | BYTE CODE VERIFIERS, SUBROUTINES, JAVA CARD, CQQ, FORMAL PROOFS |
| Fecha de publicación: | 2003 |
| 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. |
| Editorial: | UR. FI – INCO. |
| Serie o colección: | Reportes Técnicos 03-13 |
| Citación: | RODRÍGUEZ VIACAVA, L. "An approach to subroutine elimination". Reportes Técnicos 03-13. UR. FI – INCO, 2003. |
| ISSN: | 0797-6410 |
| Licencia: | Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) |
| Aparece en las colecciones: | Reportes Técnicos - Instituto de Computación |
Ficheros en este ítem:
| Fichero | Descripción | Tamaño | Formato | ||
|---|---|---|---|---|---|
| TR0313.pdf | 127,63 kB | Adobe PDF | Visualizar/Abrir |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons
