Compiladors ( CL )

Professors

Responsable:	Robert Nieuwenhuis (robertolsi.upc.edu).
Altres:	Guillem Godoy Balil (ggodoylsi.upc.edu).

Objectius Generals

Cubrir los contenidos especificados en la troncalidad de
procesadores del lenguaje, y los siguientes objetivos especificos.

Objectius Específics

Coneixements

1. Técnicas y herramientas generales, flexibles, y eficientes para la
   compilación de lenguajes de programacion y para otras aplicaciones,
   como los formateadores de texto (LaTeX, nroff), lenguajes gráficos
   (postscript, CIF, GIF, JPEG), lenguajes de descripción de hardware
   (VDHL, Verilog), lenguajes de simulación (simscript, GPSS),
   intérpretes de queries y comandos, o los compiladores de silicio.
   
2. Una aplicación en la que se utilizan y consolidan multitud
   de conceptos aprendidos previamente: lenguajes formales y autómatas,
   programación estructurada y recursiva, tipos abstractos de datos, etc.
   

Habilitats

1. Ser capaz de desarrollar aplicaciones prácticas de las técnicas y
   herramientas estudiadas (por ejemplo, transformaciones de datos, o
   sencillos intérpretes).
2. Ser capaz de completar algún módulo de un compilador modular
   moderno, como aplicación en la que son imprescindibles la robustez
   (ausencia de errores de ejecución) y la correción (del código objeto
   producido).

Competències

1. Ser mejores programadores a través de un mejor conocimiento de los
   lenguajes de programación, en su sintaxis, semántica, e implementación
   eficiente.

Continguts

Hores estimades de:

Metodologia docent

Se persiguen los objetivos expuestos estimulando el trabajo personal
del estudiante. Así, las clases de laboratorio están destinadas
a la realización de la práctica por parte del alumno, conjuntamente con
consultas y discusiones acerca de la misma. Para las primeras
prácticas con las herramientas Flex y Bison existen "hojas de
laboratorio" con las explicaciones y ejercicios a realizar. Para las
demás existe abundante material para la realización del compilador.

No se distingue entre clases de teoría y de problemas, debido a que
éstos últimos se concentran sólo en ciertos periodos del curso, y
sería demasiado rígido tener que dedicarles un número fijo de horas
semanales.

Existen diversas listas de problemas, y el estudiante sabe con
antelación cuándo en clase se van a resolver cúales de ellos. De esta
manera debería intentar resolverlos primero por su cuenta.
Además existe muy abundante material disponible en las páginas web de
la asignatura: transparencias, módulos y enunciados para las
prácticas, exámenes anteriores resueltos y sin resolver, listas de
preguntas frecuentes, etc.

El material ofrecido por la asignatura permite al estudiante realizar un
seguimiento de la asignatura, tanto del modo habitual, asistiendo a clase y
estudiando según el ritmo que marca la planificación propuesta, como de una
forma independiente por propia planificación del alumno, en base a sus otras
obligaciones o restricciones.

Mètode d'avaluació

Habrá un examen escrito de teoría (T), con ejercicios y preguntas
cortas de tipo teórico. La nota de la práctica (P) provendrá de dos
ejercicios prácticos, a realizar sobre el ordenador durante las
sesiones de laboratorio (típicamente, una extensión o variación del compilador
realizado por el propio estudiante). En caso de que, por motivos técnicos,
no se pudieran realizar estas pruebas por este medio, alternativamente, se
realizaría un examen escrito sobre la práctica.

La nota final Fin se determina en funcion de T y P de la siguiente
manera que fomenta un esfuerzo equilibrado en ambas partes:

Si P>=4 Entonces Fin:= (2T+P)/3
Si P<4 Entonces Fin:=((2T+P)/3) * (P/4)

Bibliografía bàsica

• R. Wilhelm, D. Maurer. Compiler Design: Theory, Constuction, Generation. , Addison-Wesley, 1995.
• A.W. Appel Modern Compiler Implementation in C, Cambridge University Press, 1998.
• A.V. Aho and R. Sethi and J.D. Ullman Compilers, Principles, Techniques and Tools, Addison-Wesley, 1986.
• A.V. Aho and R. Sethi and J.D. Ullman Compiladores, Principios, Técnicas y Herramientas, Addison-Wesley Iberoamericana, 1990.
• V. Paxson Flex - fast lexical analyzer generator, ftp://ftp.ee.lbl.gov/flex-2.5.3.tar.gz, 1995.
• C. Donnelly and R. Stallman Bison - the YACC-compatible parser generator, Free Software Foundation, 1995.
• R.M. Stallman Using and porting GNU CC, Free Software Foundation, 1992.

Bibliografía complementària

• N. Wirth Compiler Construction, Addison-Wesley, 1996.
• S.S. Muchnick Advanced Compiler Design Implementation, Morgan Kaufmann Publishers, 1997.
• C.N. Fischer and R.J. LeBlanc Crafting a Compiler, Benjamin/Cummings, 1988.
• A.W. Appel Modern Compiler Implementation in ML, Cambridge University Press, 1998.
• A.W. Appel Modern Compiler Implementation in Java, Cambridge University Press, 1998.
• A.V. Aho and J.D. Ullman The theory of parsing, translation and compiling, Vols I and II, Prentice Hall, 1973.

Enllaços web

Capacitats prèvies

Conocimientos de técnicas de programación estructurada y estructuras de
datos y algoritmos; lenguajes, autómatas y gramáticas formales;
estructura de computadores.