Sin duda alguna es una asignatura tremendamente compleja pero a su vez apasionante.
En este caso, el alumno deberá comprender el análisis semántico, así como el proceso final de traducción de un lenguaje formal a las serie de instrucciones manejables por un microprocesador.
Los objetivos que se persiguen son:
- Aprender a valorar la semántica subyacente a las construcciones sintácticas.
- Aprender a integrar el sistema de tipos dentro de un compilador.
- Estudiar la traducción de cada una de las construcciones de un lenguaje imperativo.
- Aprender a dar soporte a la ejecución de invocaciones recursivas de subprogramas.
- Aprender a dar soporte a la declaración anidada de subprogramas.
- Conocer los procesos de generación de código ejecutable.
- Análisis semántico
- Gramáticas con atributos
- Tabla de símbolos
- Tipos de datos y verificación de tipos
- Ambientes de ejecución
- Organización de la memoria
- Ambientes de ejecución estáticos
- Ambientes de ejecución basados en pila
- Paso de parámetros
- Generación de código
- Código intermedio
- Generación de estructuras de datos
- Generación de código para expresiones
- Generación de código para sentencias de control
- Generación de código para invocación de subrutinas
- Optimización de código
El objetivo de la práctica es realizar un compilador del lenguaje PascUned, variación del lenguaje de programación Pascal, en sus fases de análisis semántico, generación de código intermedio y generación de código final.
En cuanto a la resolución de la práctica, los siguientes enlaces contienen el enunciado de la práctica, el proyecto completo para Eclipse y la memoria práctica:
See you soon!
No hay comentarios:
Publicar un comentario