Herramienta de generación de procesadores de lenguajes para código móvil seguro
- Autores
- Arroyo, Marcelo; Florio, Nicolás; Felippa, J.; Aguirre, Jorge; Gómez, Gabriela; Bavera, Francisco; Caymes Scutari, Paola; Nordio, D.
- Año de publicación
- 2002
- Idioma
- español castellano
- Tipo de recurso
- documento de conferencia
- Estado
- versión publicada
- Descripción
- 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.
Eje: Teoría de Computación
Red de Universidades con Carreras en Informática (RedUNCI) - Materia
-
Ciencias Informáticas
lenguajes
Languages
herramientas
código
Theory of Computation
Código Móvil Seguro (CMS)
Proof Carrying Code (PCC) - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
- Repositorio
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/22076
Ver los metadatos del registro completo
id |
SEDICI_93aa698f412090f0c460d0e4b7b89758 |
---|---|
oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/22076 |
network_acronym_str |
SEDICI |
repository_id_str |
1329 |
network_name_str |
SEDICI (UNLP) |
spelling |
Herramienta de generación de procesadores de lenguajes para código móvil seguroArroyo, MarceloFlorio, NicolásFelippa, J.Aguirre, JorgeGómez, GabrielaBavera, FranciscoCaymes Scutari, PaolaNordio, D.Ciencias InformáticaslenguajesLanguagesherramientascódigoTheory of ComputationCódigo Móvil Seguro (CMS)Proof Carrying Code (PCC)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.Eje: Teoría de ComputaciónRed de Universidades con Carreras en Informática (RedUNCI)2002-05info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf503-507http://sedici.unlp.edu.ar/handle/10915/22076spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T10:54:52Zoai:sedici.unlp.edu.ar:10915/22076Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 10:54:53.252SEDICI (UNLP) - Universidad Nacional de La Platafalse |
dc.title.none.fl_str_mv |
Herramienta de generación de procesadores de lenguajes para código móvil seguro |
title |
Herramienta de generación de procesadores de lenguajes para código móvil seguro |
spellingShingle |
Herramienta de generación de procesadores de lenguajes para código móvil seguro Arroyo, Marcelo Ciencias Informáticas lenguajes Languages herramientas código Theory of Computation Código Móvil Seguro (CMS) Proof Carrying Code (PCC) |
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 |
dc.creator.none.fl_str_mv |
Arroyo, Marcelo Florio, Nicolás Felippa, J. Aguirre, Jorge Gómez, Gabriela Bavera, Francisco Caymes Scutari, Paola Nordio, D. |
author |
Arroyo, Marcelo |
author_facet |
Arroyo, Marcelo Florio, Nicolás Felippa, J. Aguirre, Jorge Gómez, Gabriela Bavera, Francisco Caymes Scutari, Paola Nordio, D. |
author_role |
author |
author2 |
Florio, Nicolás Felippa, J. Aguirre, Jorge Gómez, Gabriela Bavera, Francisco Caymes Scutari, Paola Nordio, D. |
author2_role |
author author author author author author author |
dc.subject.none.fl_str_mv |
Ciencias Informáticas lenguajes Languages herramientas código Theory of Computation Código Móvil Seguro (CMS) Proof Carrying Code (PCC) |
topic |
Ciencias Informáticas lenguajes Languages herramientas código Theory of Computation Código Móvil Seguro (CMS) Proof Carrying Code (PCC) |
dc.description.none.fl_txt_mv |
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. Eje: Teoría de Computación Red de Universidades con Carreras en Informática (RedUNCI) |
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. |
publishDate |
2002 |
dc.date.none.fl_str_mv |
2002-05 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/conferenceObject info:eu-repo/semantics/publishedVersion Objeto de conferencia http://purl.org/coar/resource_type/c_5794 info:ar-repo/semantics/documentoDeConferencia |
format |
conferenceObject |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
http://sedici.unlp.edu.ar/handle/10915/22076 |
url |
http://sedici.unlp.edu.ar/handle/10915/22076 |
dc.language.none.fl_str_mv |
spa |
language |
spa |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
dc.format.none.fl_str_mv |
application/pdf 503-507 |
dc.source.none.fl_str_mv |
reponame:SEDICI (UNLP) instname:Universidad Nacional de La Plata instacron:UNLP |
reponame_str |
SEDICI (UNLP) |
collection |
SEDICI (UNLP) |
instname_str |
Universidad Nacional de La Plata |
instacron_str |
UNLP |
institution |
UNLP |
repository.name.fl_str_mv |
SEDICI (UNLP) - Universidad Nacional de La Plata |
repository.mail.fl_str_mv |
alira@sedici.unlp.edu.ar |
_version_ |
1844615807351390208 |
score |
13.070432 |