Avances en procesadores de lenguajes y proof-carrying code

Autores
Aguirre, Jorge; Medel, Ricardo; Arroyo, Marcelo; Florio, Nicolás; Bavera, Francisco; Caymes Scutari, Paola; Nordio, D.
Año de publicación
2003
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 “Procesadores de Lenguajes” perteneciente al Departamento de Computación de la UNRC. 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 reseñan los trabajos del último año que han permitido: construir un generador de analizadores léxicos traductores, construir un generador de evaluadores concurrentes sin comunicación de gramáticas de atributos, realizar un análisis comparativo de los generadores de procesadores de lenguajes más usados y de Japlage y definir un lenguaje assembler tipado para la ejecución segura de código móvil no confiable. Además, se presentan los trabajos iniciados por el grupo destacando la obtención de un prototipo de un compilador certificante y entorno de ejecución para Proof-Carrying Code (PCC) –una técnica para garantizar código móvil seguro-.
Eje: Teoría de la Computación
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
procesadores de lenguajes
Languages
Theory of Computation
proof-carrying code
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/21558
Acceder
id SEDICI_d7b579c524ac8c4ece2cedaccf636f03
oai_identifier_str oai:sedici.unlp.edu.ar:10915/21558
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Avances en procesadores de lenguajes y proof-carrying codeAguirre, JorgeMedel, RicardoArroyo, MarceloFlorio, NicolásBavera, FranciscoCaymes Scutari, PaolaNordio, D.Ciencias Informáticasprocesadores de lenguajesLanguagesTheory of Computationproof-carrying codeEn este trabajo se presentan las líneas del grupo de investigación “Procesadores de Lenguajes” perteneciente al Departamento de Computación de la UNRC. 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 reseñan los trabajos del último año que han permitido: construir un generador de analizadores léxicos traductores, construir un generador de evaluadores concurrentes sin comunicación de gramáticas de atributos, realizar un análisis comparativo de los generadores de procesadores de lenguajes más usados y de Japlage y definir un lenguaje assembler tipado para la ejecución segura de código móvil no confiable. Además, se presentan los trabajos iniciados por el grupo destacando la obtención de un prototipo de un compilador certificante y entorno de ejecución para Proof-Carrying Code (PCC) –una técnica para garantizar código móvil seguro-.Eje: Teoría de la ComputaciónRed de Universidades con Carreras en Informática (RedUNCI)2003-05info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf15-19http://sedici.unlp.edu.ar/handle/10915/21558spainfo: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:42Zoai:sedici.unlp.edu.ar:10915/21558Institucionalhttp://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:42.453SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Avances en procesadores de lenguajes y proof-carrying code
title Avances en procesadores de lenguajes y proof-carrying code
spellingShingle Avances en procesadores de lenguajes y proof-carrying code
Aguirre, Jorge
Ciencias Informáticas
procesadores de lenguajes
Languages
Theory of Computation
proof-carrying code
title_short Avances en procesadores de lenguajes y proof-carrying code
title_full Avances en procesadores de lenguajes y proof-carrying code
title_fullStr Avances en procesadores de lenguajes y proof-carrying code
title_full_unstemmed Avances en procesadores de lenguajes y proof-carrying code
title_sort Avances en procesadores de lenguajes y proof-carrying code
dc.creator.none.fl_str_mv Aguirre, Jorge
Medel, Ricardo
Arroyo, Marcelo
Florio, Nicolás
Bavera, Francisco
Caymes Scutari, Paola
Nordio, D.
author Aguirre, Jorge
author_facet Aguirre, Jorge
Medel, Ricardo
Arroyo, Marcelo
Florio, Nicolás
Bavera, Francisco
Caymes Scutari, Paola
Nordio, D.
author_role author
author2 Medel, Ricardo
Arroyo, Marcelo
Florio, Nicolás
Bavera, Francisco
Caymes Scutari, Paola
Nordio, D.
author2_role author
author
author
author
author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
procesadores de lenguajes
Languages
Theory of Computation
proof-carrying code
topic Ciencias Informáticas
procesadores de lenguajes
Languages
Theory of Computation
proof-carrying code
dc.description.none.fl_txt_mv En este trabajo se presentan las líneas del grupo de investigación “Procesadores de Lenguajes” perteneciente al Departamento de Computación de la UNRC. 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 reseñan los trabajos del último año que han permitido: construir un generador de analizadores léxicos traductores, construir un generador de evaluadores concurrentes sin comunicación de gramáticas de atributos, realizar un análisis comparativo de los generadores de procesadores de lenguajes más usados y de Japlage y definir un lenguaje assembler tipado para la ejecución segura de código móvil no confiable. Además, se presentan los trabajos iniciados por el grupo destacando la obtención de un prototipo de un compilador certificante y entorno de ejecución para Proof-Carrying Code (PCC) –una técnica para garantizar código móvil seguro-.
Eje: Teoría de la 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 “Procesadores de Lenguajes” perteneciente al Departamento de Computación de la UNRC. 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 reseñan los trabajos del último año que han permitido: construir un generador de analizadores léxicos traductores, construir un generador de evaluadores concurrentes sin comunicación de gramáticas de atributos, realizar un análisis comparativo de los generadores de procesadores de lenguajes más usados y de Japlage y definir un lenguaje assembler tipado para la ejecución segura de código móvil no confiable. Además, se presentan los trabajos iniciados por el grupo destacando la obtención de un prototipo de un compilador certificante y entorno de ejecución para Proof-Carrying Code (PCC) –una técnica para garantizar código móvil seguro-.
publishDate 2003
dc.date.none.fl_str_mv 2003-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/21558
url http://sedici.unlp.edu.ar/handle/10915/21558
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
15-19
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_ 1844615804664938496
score 13.070432

Publicaciones similares