Optimización Automática de Programas



Nombre: Optimización Automática de Programas
Semestre: 5A
Código: OAP
Créditos: 3 Teoría + 3 Práctica
Profesores: Germán Vidal.




Objetivos

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:
  3. Transformaciones basadas en XSLT

Temario
  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



Bibliografía Evaluación

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.


Email: gvidal (at) dsic.upv.es