An approach to subroutine elimination

Por favor, use este identificador para citar o enlazar este ítem: https://hdl.handle.net/20.500.12008/3498 Cómo citar

Registro completo de metadatos

Campo DC	Valor	Lengua/Idioma
dc.contributor.author	Rodríguez Viacava, Leonardo	es
dc.date.accessioned	2014-12-02T16:07:01Z	-
dc.date.available	2014-12-02T16:07:01Z	-
dc.date.issued	2003	es
dc.date.submitted	20141202	es
dc.identifier.citation	RODRÍGUEZ VIACAVA, L. "An approach to subroutine elimination". Reportes Técnicos 03-13. UR. FI – INCO, 2003.	es
dc.identifier.issn	0797-6410	es
dc.identifier.uri	http://hdl.handle.net/20.500.12008/3498	-
dc.description.abstract	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.	es
dc.format.extent	13 p.	es
dc.format.mimetype	application/pdf	es
dc.language	in	es
dc.publisher	UR. FI – INCO.	es
dc.relation.ispartof	Reportes Técnicos 03-13	es
dc.rights	Las obras depositadas en el Repositorio se rigen por la Ordenanza de los Derechos de la Propiedad Intelectual de la Universidad De La República. (Res. Nº 91 de C.D.C. de 8/III/1994 – D.O. 7/IV/1994) y por la Ordenanza del Repositorio Abierto de la Universidad de la República (Res. Nº 16 de C.D.C. de 07/10/2014)	es
dc.subject	BYTE CODE VERIFIERS	es
dc.subject	SUBROUTINES	es
dc.subject	JAVA CARD	es
dc.subject	CQQ	es
dc.subject	FORMAL PROOFS	es
dc.title	An approach to subroutine elimination	es
dc.type	Reporte técnico	es
dc.rights.licence	Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0)	es
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

Mostrar el registro sencillo del ítem

Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons