Optimización Automática de Programas

Los objetivos de esta asignatura se centran en aprender diferentes técnicas automáticas para transformar y optimizar programas.

Los contenidos se estructuran en tres bloques:

1. Introducción a las técnicas de transformación de programas
2. Técnicas de especialización:
   • Estudian el problema de, dado un programa y "parte" de sus datos de entrada, generar un programa especializado para dichos datos.
   • Se desarrolla una herramienta de especialización de programas en el laboratorio
   • Para facilitar su presentación, las diferentes técnicas para la optimización automática de programas se introducirán en el marco de un lenguaje declarativo muy simple.
3. Transformaciones basadas en XSLT
   • Se estudia la notación XPath y las transformaciones XSL, que se pueden usar para transformar documentos XML a diferentes formatos.

1. Introducción.
2. Técnicas de análisis estático de programas.
3. Técnicas de especialización de programas.
4. Técnicas de transformación basadas en XSLT.

Prácticas

Material

• Terrence W. Pratt. Lenguajes de Programación. Diseño e Implementacion. Prentice-Hall.
• N. Jones, K. Gomard, and P. Sestoft. Partial Evaluation and Semantics-Based Program Generation. Prentice-Hall, 1993.

La evaluación se realizará principalmente a partir de las prácticas desarrolladas en el laboratorio (un 60% de la nota final). Además, habrá un examen teórico sobre los contenidos de la asignatura (un 40% de la nota final) que podrá sustituirse por la realización de trabajos prácticos (previa aprobación de los mismos por el profesor). También existe la posibilidad de realizar la exposición de trabajos voluntarios en clase para subir nota.