Herramienta de generación de procesadores de lenguajes para código móvil seguro

En este trabajo se presentan las líneas del grupo de investigación del Departamento de Computación de la UNRC constituido por los autores. Los aspectos fundamentales son la creación de modelos y herramientas de última generación para la generación de procesadores de lenguajes incluyendo la generació...

Descripción completa

Detalles Bibliográficos
Autores principales:	Arroyo, Marcelo, Florio, Nicolás, Felippa, J., Aguirre, Jorge, Gómez, Gabriela, Bavera, Francisco, Caymes Scutari, Paola, Nordio, D.
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	2002
Materias:	Ciencias Informáticas lenguajes Languages herramientas código Theory of Computation Código Móvil Seguro (CMS) Proof Carrying Code (PCC)
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/22076
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-22076
record_format	dspace
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Español
topic	Ciencias Informáticas lenguajes Languages herramientas código Theory of Computation Código Móvil Seguro (CMS) Proof Carrying Code (PCC)
spellingShingle	Ciencias Informáticas lenguajes Languages herramientas código Theory of Computation Código Móvil Seguro (CMS) Proof Carrying Code (PCC) Arroyo, Marcelo Florio, Nicolás Felippa, J. Aguirre, Jorge Gómez, Gabriela Bavera, Francisco Caymes Scutari, Paola Nordio, D. Herramienta de generación de procesadores de lenguajes para código móvil seguro
topic_facet	Ciencias Informáticas lenguajes Languages herramientas código Theory of Computation Código Móvil Seguro (CMS) Proof Carrying Code (PCC)
description	En este trabajo se presentan las líneas del grupo de investigación del Departamento de Computación de la UNRC constituido por los autores. Los aspectos fundamentales son la creación de modelos y herramientas de última generación para la generación de procesadores de lenguajes incluyendo la generación de Código Móvil Seguro. Se presenta el trabajo ya realizado que ha permitido construir un prototipo de ambiente de generación de procesadores de lenguajes basado en un modelo que soporta una integración más fuerte que las usadas, de las gramáticas de atributos y los esquemas de traducción, los trabajos realizados sobre evaluación concurrente de atributos y si inserción en el prototipo. Se analiza la nueva técnica para obtener Código Móvil Seguro (CMS) basado en la generación conjunta del código y de una prueba de seguridad –Proof Carrying Code PCC- y el proyecto de integrar en el ambiente un módulo que genere PCC basado en tipos dependientes. Es de destacar que el gran desarrollo de las redes de computadoras y de las actividades que se soportan sobre ellas y la aparición de lenguajes y herramientas, como Java, que soportan la migración de código entre distintas plataformas, ha puesto al CMS en un lugar relevante de tecnología informática.
format	Objeto de conferencia Objeto de conferencia
author	Arroyo, Marcelo Florio, Nicolás Felippa, J. Aguirre, Jorge Gómez, Gabriela Bavera, Francisco Caymes Scutari, Paola Nordio, D.
author_facet	Arroyo, Marcelo Florio, Nicolás Felippa, J. Aguirre, Jorge Gómez, Gabriela Bavera, Francisco Caymes Scutari, Paola Nordio, D.
author_sort	Arroyo, Marcelo
title	Herramienta de generación de procesadores de lenguajes para código móvil seguro
title_short	Herramienta de generación de procesadores de lenguajes para código móvil seguro
title_full	Herramienta de generación de procesadores de lenguajes para código móvil seguro
title_fullStr	Herramienta de generación de procesadores de lenguajes para código móvil seguro
title_full_unstemmed	Herramienta de generación de procesadores de lenguajes para código móvil seguro
title_sort	herramienta de generación de procesadores de lenguajes para código móvil seguro
publishDate	2002
url	http://sedici.unlp.edu.ar/handle/10915/22076
work_keys_str_mv	AT arroyomarcelo herramientadegeneraciondeprocesadoresdelenguajesparacodigomovilseguro AT florionicolas herramientadegeneraciondeprocesadoresdelenguajesparacodigomovilseguro AT felippaj herramientadegeneraciondeprocesadoresdelenguajesparacodigomovilseguro AT aguirrejorge herramientadegeneraciondeprocesadoresdelenguajesparacodigomovilseguro AT gomezgabriela herramientadegeneraciondeprocesadoresdelenguajesparacodigomovilseguro AT baverafrancisco herramientadegeneraciondeprocesadoresdelenguajesparacodigomovilseguro AT caymesscutaripaola herramientadegeneraciondeprocesadoresdelenguajesparacodigomovilseguro AT nordiod herramientadegeneraciondeprocesadoresdelenguajesparacodigomovilseguro
bdutipo_str	Repositorios
_version_	1764820465482727424

Herramienta de generación de procesadores de lenguajes para código móvil seguro

Ejemplares similares