Avances en procesadores de lenguajes y proof-carrying code

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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Aguirre, Jorge, Medel, Ricardo, Arroyo, Marcelo, Florio, Nicolás, Bavera, Francisco, Caymes Scutari, Paola, Nordio, D.
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2003
Materias:
Ciencias Informáticas
procesadores de lenguajes
Languages
Theory of Computation
proof-carrying code
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/21558
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-21558
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
procesadores de lenguajes
Languages
Theory of Computation
proof-carrying code
spellingShingle Ciencias Informáticas
procesadores de lenguajes
Languages
Theory of Computation
proof-carrying code
Aguirre, Jorge
Medel, Ricardo
Arroyo, Marcelo
Florio, Nicolás
Bavera, Francisco
Caymes Scutari, Paola
Nordio, D.
Avances en procesadores de lenguajes y proof-carrying code
topic_facet Ciencias Informáticas
procesadores de lenguajes
Languages
Theory of Computation
proof-carrying code
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-.
format Objeto de conferencia
Objeto de conferencia
author Aguirre, Jorge
Medel, Ricardo
Arroyo, Marcelo
Florio, Nicolás
Bavera, Francisco
Caymes Scutari, Paola
Nordio, D.
author_facet Aguirre, Jorge
Medel, Ricardo
Arroyo, Marcelo
Florio, Nicolás
Bavera, Francisco
Caymes Scutari, Paola
Nordio, D.
author_sort Aguirre, Jorge
title Avances en procesadores de lenguajes y 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
publishDate 2003
url http://sedici.unlp.edu.ar/handle/10915/21558
work_keys_str_mv AT aguirrejorge avancesenprocesadoresdelenguajesyproofcarryingcode
AT medelricardo avancesenprocesadoresdelenguajesyproofcarryingcode
AT arroyomarcelo avancesenprocesadoresdelenguajesyproofcarryingcode
AT florionicolas avancesenprocesadoresdelenguajesyproofcarryingcode
AT baverafrancisco avancesenprocesadoresdelenguajesyproofcarryingcode
AT caymesscutaripaola avancesenprocesadoresdelenguajesyproofcarryingcode
AT nordiod avancesenprocesadoresdelenguajesyproofcarryingcode
bdutipo_str Repositorios
_version_ 1764820464684761091

Ejemplares similares