AVISO 15-07-2011: Publicadas notas finales de la asignatura de la segunda convocatoria.

AVISO 11-07-2011: Se recuerda a los alumnos con prácticas suspensas o no entregadas que la fecha límite de recepción de prácticas es el día 12 de Julio a las 23h59. Las prácticas deben ser enviadas al profesor responsable de la misma.

AVISO 04-07-2011: Publicadas notas finales de prácticas y notas finales de la asignatura de la convocatoria de Junio 2011.

AVISO 27-06-2011: La nota de examen de teoría superior a 4 hace media y se guarda para la segunda convocatoria. Las notas de prácticas y examen de prácticas hacen media a partir de 5 y se guardan para la segunda convocatoria.

AVISO 28-02-2011: Web de la asignatura actualizada

Objetivos de la asignatura

Conocimientos:

• Optimización de código.
• Gestión de memoria.
• Compilación de lenguajes orientados a objeto.
• Compilación de lenguajes funcionales.
• Compilación de lenguajes lógicos.

Habilidades y competencias:

• Un mayor conocimiento sobre el funcionamiento de los compiladores.
• Aprovechar mejor las capacidades de los compiladores.
• Escribir programas más óptimos y legibles.
• Entender los errores de compilación.
• Depuración más rápida de programas (especialmente en programación orientada a objeto).
• Programación más abstracta.
• Comprender las estrategias avanzadas utilizadas por compiladores e intérpretes.
• Profundizar en las técnicas de optimización de código intermedio.

Temario

• TEMA 1. CÓDIGO INTERMEDIO
• FORMATOS INTERNOS INTERMEDIOS DE LOS PROGRAMAS FUENTE. Notación polaca. n-tuplas. Árboles sintácticos abstractos. Código enhebrado. Código para máquinas abstracta.
• TEMA 2. OPTIMIZACIÓN DE CÓDIGO.
• OPTIMIZACIONES BÁSICAS. Introducción. Bloques básicos. Ensamblamiento. Eliminación de subexpresiones redundantes.
• OPTIMIZACIONES DENTRO DE BUCLES. Expansión de bucles. Reducción de frecuencia. Reducción de potencia.
• OPTIMIZACIÓN GLOBAL. Construcción del grafo de flujo. Análisis del grafo de flujo. Aplicaciones de la optimización de programas.
• OPTIMIZACIÓN DEPENDIENTE DE MÁQUINA. Introducción. Asignación de Registros. Arquitectura máquina y Generación de Código Real.
• TEMA 3.  GENERACIÓN DE CÓDIGO PARA ESTRUCTURAS COMPLEJAS.
• GENERACIÓN DE CÓDIGO PARA ESTRUCTURAS DE DATOS COMPLEJAS. Arrays de tamaño variable.
• GENERACIÓN DE CÓDIGO PARA ESTRUCTURAS DE CONTROL COMPLEJAS. Goto no local. Selección de casos. Tratamiento estructurado de excepciones.
• TEMA 4. COMPILACIÓN DE LENGUAJES ORIENTADOS A OBJETO.
  • OBJETOS, SOBRECARGA Y HERENCIA.
  • ENLAZADO ESTÁTICO Y DINÁMICO. Métodos estáticos. Métodos virtuales.
  • TIPOS PARAMÉTRICOS. Templates
• TEMA 5. GESTIÓN COMPLEJA DE MEMORIA.
• ASIGNACIÓN DINÁMICA DE MEMORIA. Liberación explícita. Liberación implícita: contador de referencias, garbage collection, compactación.
• TEMA 6. COMPILACIÓN DE LENGUAJES FUNCIONALES.
  • LENGUAJES FUNCIONALES. Diferencias entre lenguajes funcionales e imperativos. Evaluación estricta y diferida.
  • RECURSIVIDAD. Recursividad en cola.
  • LLAMADAS Y CLAUSURAS. Ámbitos en el Heap. Funciones anónimas y clausuras. Tipos de llamadas.
• TEMA 7. COMPILACIÓN DE LENGUAJES LÓGICOS.
• LÓGICOS. PROLOG: Pila de backtracking. Unificación. tratamiento del desconocido. Máquina de Warren. No determinismo. Estructura. Construcción. Unificación.
• TEMA 8. ESPECIFICACIÓN FORMAL DE LENGUAJES.
• [Lecciones 22, 23 y 24.] SEMÁNTICA INTERPRETATIVA. Máquina virtual. Cálculo. Resultado. Estado. Construcción abstracta. Lenguaje de la máquina virtual. Construcción de la semántica interpretativa para un lenguaje. utilización de una semántica interpretativa.
• [Lecciones 25, 26, 27 y 28.] GRAMÁTICAS DE ATRIBUTOS. Atributo. Atributos calculados. Atributos heredados. Condiciones. Funciones. Gramática de atributos para un lenguaje de programación.

Apuntes y transparencias

• Código intermedio.pdf
• Optimización de código.pdf
• TEMA2.PPT
• TEMA3.PPT
• TEMA4.PPT
• Funcionales.ppt
• Logicos.ppt
• Orientados a Objeto.ppt

Bibliografía

• BIBLIOGRAFÍA BÁSICA
• Advanced Compiler Design & Implementation. Steven S. Muchnick.  Morgan Kaufmann Publishers, 1997.
• Building an Optimizing Compiler. Robert Morgan, Butterworth-Heinemann, 1998.
• Modern Compiler Design. Dick Grune et al. Wiley, 2000.
• Warren's Abstract Machine. A TUTORIAL RECONSTRUCTION (410 Kb).
  HASSAN AÏT-KACI
  Intelligent Software Group. School of Computing Science.
  Simon Fraser University. Burnaby, British Columbia. V5A 1S6, Canada.
• The Theory and Practice of Compiler Writing, Jean-Paul Tremblay & Paul G. Sorenson, MCGRAW-HILL, 1985.
• Programming Language Concepts and Paradigms, David A. Watt, Prentice Hall, 1990.
• Thèorie des programmes. Schémes, preuves, sémantique, C. Livercy, Dunod, 1984.
• Formal Specification of Programming Languages: A Panoramic Primer, Frank G. Pagan, Prentice Hall Inc., 1981.
• BIBLIOGRAFÍA DE CONSULTA
• Compiladores: Principios, técnicas y herramientas, Alfred V. Aho, Ravi Sethi & Jeffrey D. Ullman, Addison-Wesley, 1990.
• Programming Language Processors, David A. Watt, Prentice Hall, 1993.
• Functional Programming, Anthony J. Field & Peter G. Harrison, Addison-Wesley, 1988.
• Crafting a Compiler with C, Charles N. Fisher & Richard J. Leblanc jr., The Benjamin / Cummings Publishing Company inc., 1991.
• Programming Languages: Design and Implementation, Terrence W. Pratt, Prentice Hall International Editions, 1984.
• Compiler Construction. An Advanced Course, Edited by G. Goos and J. Hartmanis, Springer-Verlag, 1974.
• The Design of an Optimizing Compiler, William Wulf et all., North Holland, 1980.
• An Implementation Guide to Compiler Writing, Jean-Paul Tremblay & Paul G. Sorenson, MCGRAW-HILL, 1982.
• Writing Compilers & Interpreters: An Applied Approach, Ronald Mak, Wiley, 1991.
• Writing Interactive Compilers and Interpreters, J. P. Brown, Wiley, 1979.
• Compiler Design in C, Allen Y. Holub, Prentice Hall, 1990.
• Garbage Collection, Richard Jones y Rafael Lins, Wiley 1996.

Prácticas

La práctica consiste en la realización de un optimizador que trabajará sobre código intermedio representado en forma de árbol sintáctico abstracto. La práctica se implementará con el lenguaje de programación CoSeL (CrossVisions). Más información sobre el enunciado de prácticas ver Web de prácticas

Asistencia a Prácticas

• La asistencia a las sesiones es opcional, pero se pasará lista en las sesiones de prácticas para poder realizar un seguimiento sobre el trabajo realizado por el alumno. En caso de duda sobre la nota de la práctica se tendrá en cuenta la asistencia.
  
• Los alumnos que deseen asistir a clase de prácticas deberán apuntarse a un grupo de prácticas mediante la aplicación web de Gestión de Grupos de Prácticas - PSG. Las listas se abrirán el día 15-03-2010 a las 14:00h (Lunes).
  
• En el caso de falta no justificada en una sesión de prácticas, la plaza ocupada por el grupo quedará libre en la siguiente sesión de prácticas. Se borrará al grupo de la aplicación de gestión de grupos de prácticas para que otros alumnos puedan apuntarse.
  
• Las dudas de prácticas se resolverán EXCLUSIVAMENTE en las sesiones de prácticas y en las horas de tutoría del profesor de prácticas destinadas a tal efecto.

Para los que repiten convocatoria

• Pueden presentar la práctica del curso pasado adaptada a los requerimientos de este curso (hay una nueva práctica a presentar)
• Los integrantes de un grupo que presente la práctica del curso anterior sólo pueden ser los integrantes del grupo que presentó la práctica en el curso pasado.

Prácticas copiadas

Método de evaluación y normativas

En caso que se suspenda el examen de teoría, el examen de prácticas o la práctica la nota final será de suspendido.

Notas

Notas primera convocatoria: notasjunio1011.pdf

Notas prácticas primera convocatoria: notaspracticasjun2011.pdf

Notas segundaconvocatoria: notasCP21011 Julio V2.pdf