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
id I19-R120-10915-20154
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
Análisis Estático de Programas
Intelligent agents
Generación de Computación Ubicua
Inferencia de Tipos
spellingShingle Ciencias Informáticas
Análisis Estático de Programas
Intelligent agents
Generación de Computación Ubicua
Inferencia de Tipos
Vaucheret, Claudio A.
Análisis estático de programas para la generación de computación ubicua: inferencia de tipos
topic_facet Ciencias Informáticas
Análisis Estático de Programas
Intelligent agents
Generación de Computación Ubicua
Inferencia de Tipos
description 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 lenguajes no tipados como Prolog. Esta linea de investigación abarca el estudio de todas las consideraciones para una inferencia automática eficiente y precisa de la información de tipos en el contexto de la programación lógica.
format Objeto de conferencia
Objeto de conferencia
author Vaucheret, Claudio A.
author_facet Vaucheret, Claudio A.
author_sort Vaucheret, Claudio A.
title Análisis estático de programas para la generación de computación ubicua: inferencia de tipos
title_short Análisis estático de programas para la generación de computación ubicua: inferencia de tipos
title_full Análisis estático de programas para la generación de computación ubicua: inferencia de tipos
title_fullStr Análisis estático de programas para la generación de computación ubicua: inferencia de tipos
title_full_unstemmed Análisis estático de programas para la generación de computación ubicua: inferencia de tipos
title_sort análisis estático de programas para la generación de computación ubicua: inferencia de tipos
publishDate 2007
url http://sedici.unlp.edu.ar/handle/10915/20154
work_keys_str_mv AT vaucheretclaudioa analisisestaticodeprogramasparalageneraciondecomputacionubicuainferenciadetipos
bdutipo_str Repositorios
_version_ 1764820465361092609

Ejemplares similares