Título: HFusion, un optimizador de programas funcionales

Marco de Trabajo: Maestría

Área de desarrollo: Métodos Formales

Autor: Facundo Domínguez

Contacto: fdomin@fing.edu.uy

Día: VIERNES

Hora: 10:45

Palabras Claves: fusión, deforestación, programación funcional, programación genérica

Resumen:
Tutor: Alberto Pardo
Desde mediadoss de 2003 venimos trabajando en una herramienta de transformación de programas escritos en Haskell. La herramienta combina definiciones en el programa fuente con la intención de eliminar estructuras de datos auxiliares, reduciendo así la memoria empleada y las llamadas al garbage collector. Esta estrategia de optimización se conoce normalmente como fusión o deforestación. Nuestro enfoque está fuertemente basado en conceptos de programación genérica, que se emplean para probar la correctitud de las técnicas y para describir nuevas extensiones. En la presentación se describirá en detalle en qué consiste la fusión o deforestación de programas funcionales, se mostrará un poco cómo se usa la herramienta, la cuál está disponible via web en http://www.fing.edu.uy/inco/proyectos/fusion, y se discutirá cuales han sido los avances con respecto a otras implementaciones de fusión.|