Dpto. Inteligencia Artificial. Grupo CLIP (Computación lógica, Lenguajes,
Implementación y Paralelismo). Facultad de Informática. Universidad Politécnica de Madrid
CENTRO Grupo CLIP. Dpto. Inteligencia Artificial. Facultad de Informática de la UPM |
Líneas de Investigación
Análisis, optimización y verificación global de programas. Interpretación abstracta. Entornos avanzados de desarrollo y compilación. Máquinas abstractas. Compiladores paralelizantes. Ejecución distribuida consciente de los recursos. Agentes lógicos. Teoría, diseño e implementación de programación lógica, funcional y por restricciones. Visualización de ejecuciones. Generación automática de documentación con hipertexto y de sitios WWW dinámicos y adaptables. Arquitectura de ordenadores secuenciales y paralelos.
|
Personal
Investigador: Manuel Hermenegildo Salinas
|