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...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2007
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/20154 |
| Aporte de: |
| Sumario: | 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. |
|---|