Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/20.500.12008/2944
MetadatoEtiquetaValorIdioma
dc.contributor.advisor Tutor Betarte, Gustavoes
dc.contributor.advisor Tutor Piquer, José Migueles
dc.contributor.advisor Tutor Tanter, Erices
dc.contributor.author Autor Rodríguez Viacava, Leonardoes
dc.date.accessioned Fecha ingreso 2014-11-24T22:36:11Z-
dc.date.available Fecha disponible 2014-11-24T22:36:11Z-
dc.date.issued Año de publicación 2006es
dc.date.submitted Fecha de subida 20141202es
dc.description.abstract Resumen Reflex es un núcleo versátil para la programación orientada aspectos en Java. Provee de las abstracciones básicas, estructurales y de comportamiento, que permiten implementar una variedad de técnicas orientadas a aspectos. Esta tesis estudia dos tópicos fundamentales. En primer lugar, el desarrollo formal, utilizando el lenguaje Haskell, de las construcciones fundamentales del modelo Reflex para reflexión parcial de comportamiento. Este desarrollo abarca el diseño de un lenguaje, llamado Kernel, el cual es una extensión reflexiva de un lenguaje orientado a objetos simple. La semántica operacional del lenguaje Kernel es presentada mediante una máquina de ejecución abstracta. El otro tópico fundamental que estudia esta tesis es validar que el modelo de reflexión parcial de comportamiento es suficientemente expresivo para proveer de semántica a un subconjunto del lenguaje AspectJ. Con este fin, se desarrolló el Reflex Sandbox: un ambiente de experimentación en Haskell para el modelo Reflex. Tanto el desarrollo formal del modelo de reflexión parcial de comportamiento como la validación del soporte de AspectJ, son estudiados en el contexto del Reflex Sandbox. La validación abarca la definición de un lenguaje orientado a aspectos que caracteriza el enfoque de AspectJ a la programación orientada a aspectos, así como la definición de su máquina de ejecución abstracta. También se presenta un compilador que transforma programas escritos en este lenguaje al lenguaje Kernel. Este proceso de compilación provee los fundamentos para entender como dicha transformación puede ser realizada. El proceso de compilación también fue implementado en Java, pero transformando programas AspectJ a programas Reflex. También se presentan mediciones preliminares del desempeño de un programa compilado y ejecutado en Reflex y un programa compilado, y ejecutado con el compilador AspectJ.es
dc.format.extent Extensión 201 p.es
dc.format.mimetype Formato application/pdfes
dc.identifier.citation Citación RODRÍGUEZ VIACAVA, L. "The Reflex Sandbox : an experimentation environment for an aspect-oriented Kernel". Tesis de maestría, Universidad de la República (Uruguay). Facultad de Ingeniería. Instituto de Computación – PEDECIBA, 2006.es
dc.identifier.uri URI http://hdl.handle.net/20.500.12008/2944-
dc.language metadata.dc.language enes
dc.publisher Editorial UR. FI-INCO,es
dc.rights Derechos 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.rights.licence Licencia Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0)es
dc.subject Palabras clave REFLEXIONes
dc.subject Palabras clave REFLEXION PARCIALes
dc.subject Palabras clave PROGRAMACION ORIENTADA A ASPECTOSes
dc.title Título The Reflex Sandbox : an experimentation environment for an aspect-oriented Kerneles
dc.type Tipo de documento Tesis de maestríaes
thesis.degree.grantor Facultad o Servicio que otorga el Título Universidad de la República (Uruguay). Facultad de Ingeniería. Instituto de Computación – PEDECIBAes
thesis.degree.name Título Obtenido Magíster en Informáticaes

Colecciones:

Tesis de posgrado
FicherosDescripciónTamañoFormato
tesis-lrodriguez.pdf — 1.85 MB Adobe PDF
Atrás