| Título: | 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. |
| Fecha: |
2012-10-09 2002-05 2002 |
| Publicador: | Unversidad Nacional de La Plata |
| Fuente: |
 |
| Tipo: |
Objeto de conferencia Objeto de conferencia |
| Tema: |
lenguajes código Código Móvil Seguro (CMS) Proof Carrying Code (PCC) Languages Theory of Computation Ciencias Informáticas herramientas |
| 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 |
| Idioma: | Español |
1 Ajuste de las variables que gobiernan los modelos de comportamiento de HDM-4 para vías no pavimentadas de la región de Antofagasta (Chile) por Rojas Cazaluade, Oscar Orlando | 6 Alternativas para el fraccionamiento de un Parque Industrial por Borrego, Juan Antonio |
2 La Agrimensura como base de investigaciones arqueológicas por Alfageme, Marcelo O.,Papagni, Jorge H. | 7 La propiedad horizontal por López, María Inés |
3 Anteproyecto de saneamiento y loteo por Antolín, Ricardo Gabriel,Williams, Enrique Oliver | 8 Laguna "San Antonio" por Milone, Ricardo Raúl |
4 Balneario Municipal de la ciudad de Diamante por Battistessa, Gustavo J.,Palomeque, José F. | 9 Estudio catastral de tierras en el partido de San Fernando por Miquelarena, Carlos Alberto |
5 | 10 |