Análisis estático de programas para la generación de computación ubicua: inferencia de tipos

Este trabajo expone una linea de investigación en análisis estático de programas lógicos. El objetivo general de la computación ubicua es la generación automática de software en el contexto de recursos limitados. Un aspecto importante para este objetivo es lograr la información de los tipos en leng...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Vaucheret, Claudio A.
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2007
Materias:
Ciencias Informáticas
Análisis Estático de Programas
Intelligent agents
Generación de Computación Ubicua
Inferencia de Tipos
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/20154
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares