Optimización automática de programas (OAP) Germán Vidal 1 Curso 2013 / 2014 Optimización automática de programas (OAP)
Optimización automática de programas (OAP) Germán Vidal 2 Profesor Germán Vidal Despacho 2D42 (Edificio DSIC, 2º piso) URL: Tutorías: bajo demanda…
Optimización automática de programas (OAP) Germán Vidal 3 Temario 1.Introducción (1-2 semanas) 2.Técnicas de análisis estático 3.Transformación de programas: evaluación parcial y especialización (6 – 8 semanas) 4.Otra cosa (ejecución simbólica; model checking; análisis estático; presentaciones; etc)
Optimización automática de programas (OAP) Germán Vidal 4 Prácticas Implementación de una herramienta de especialización de programas lenguaje de programación: Haskell
Optimización automática de programas (OAP) Germán Vidal 5 Evaluación Prácticas (obligatorias, individuales) 20% - 80% ?? Teoría (examen escrito, con apuntes) 80% - 20% ?? Trabajos voluntarios (exposición en clase) 10%
Optimización automática de programas (OAP) Germán Vidal 6 Información Web asignatura: (ver también microweb Poliformat) Material de clase: web de la asignatura/Poliformat libro: ok.html