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

Abstract

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.