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
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/22076

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