An approach to subroutine elimination

Please use this identifier to cite or link to this item: https://hdl.handle.net/20.500.12008/3498 How to cite

Full metadata record

DC Field	Value	Language
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
Appears in Collections:	Reportes Técnicos - Instituto de Computación

Files in This Item:

File	Description	Size	Format
TR0313.pdf		127,63 kB	Adobe PDF	View/Open

Show simple item record

This item is licensed under a Creative Commons License