UNIVERSIDAD DE SAN CARLOS DE GUATEMALA - Conversión de tipos

FACULTAD DE INGENIERIA - Sobrecarga de funciones y operadores

Escuela de Ciencias y Sistemas - Tabla de símbolos

FICHA TÉCNICA DEL CURSO: Organización de Lenguajes y Compiladores 2 UNIDAD 3. GENERACIÓN DE CÓDIGO INTERMEDIO
No. Descripción - Lenguajes intermedios
. Código 781 Créditos 4 - Árboles de sintaxis
1 Escuela Vigencia - Código de tres direcciones
Área a la que pertenece
Ciencias y Sistemas 1er semestre 2006 • Expresiones aritméticas
Computación
• Mapeo de arreglos
2 Horas por semana Horario • Asignaciones
4 Martes y jueves de 7:10 a 8:50 hrs. • Expresiones booleanas
• Proposiciones condicionales
3 Pre-requisitos: • Proposiciones de ciclos
772 (Estructuras de Datos) • Recursividad
777 (Organización de Lenguajes y Compiladores 1)
• Funciones y procedimientos
4 Postrequistios: Sistemas operativos 1 UNIDAD 4. OPTIMIZACIÓN DE CÓDIGO
- Optimización de código intermedio por Mirilla
5 Sección: A - Optimización de código Generado

6 100 de horas que los alumnos tienen que dedicar a trabajos fuera de clase como proyectos,
investigaciones, tareas, etc. un promedio de horas mensual. IV. Metodología:
- Clase Magistral para explicación de teoría.
7 I. Descripción General - Resolución de tareas, problemas y auto estudio
Este curso es la continuación del estudio de las fases de un Compilador, específicamente en la - Práctica, realización de proyectos.
fase de síntesis y se tratan con detalle el manejo de la tabla de símbolos, el manejo de errores, la
generación de código intermedio y optimización de código V. Evaluación:

Se desarrollarán proyectos, divididos en fases, para aplicar los conceptos de compiladores, 45 puntos para laboratorio que incluye proyectos y tareas.
usando herramientas básicas como generadores de analizadores de léxico y de sintaxis. 55 puntos de la parte teórica, que incluye 2 parciales de 15 puntos cada uno, 25 puntos del
examen final.
II. Objetivos
• Objetivo General Para aprobar el curso es necesario obtener como mínimo 27.45 puntos de laboratorio.
1. Desarrollar los conceptos básicos de la fase síntesis de los compiladores
CALENDARIO DE EXÁMENES
• Objetivos Específicos
1. Proveer una base teórica que permita diseñar de una manera completa Primer Examen Parcial 28 de febrero
un compilador para un lenguaje de las nuevas generaciones.
2. Comprender la conveniencia, para el diseño de un conjunto de - Incluye UNIDAD 1. Traducción dirigida por la sintaxis
compiladores para varios lenguajes fuente y varias máquinas, de hacer UNIDAD 2. Comprobación de tipos
una traducción a una representación intermedia antes de generar código
final. Segundo Examen Parcial 20 de abril
3. Utilizar las herramientas de análisis de léxico, sintáctico y semántico,
para la construcción de compiladores o interpretes para un lenguaje de - Incluye UNIDAD 3. Generación de código intermedio
alto nivel UNIDAD 4. Optimización de código
III. Contenido Examen Final Según calendario oficial

UNIDAD 1. TRADUCCIÓN DIRIGIDA POR LA SINTAXIS - Incluye Todas las unidades

- Definiciones dirigidas por la sintaxis
• Forma de una definición dirigida por la sintaxis.
• Atributos sintetizados VI. Observaciones:
• Atributos heredados Dirección de correo electrónico para consultas: blopezw@yahoo.com
• Grafos de dependencia No se recibirán tareas o proyectos vía correo electrónico
- Construcción de árboles sintácticos
- Evaluación ascendente de atributos sintetizados 8 Bibliografía Libro de Texto: Compiladores. Principios, Técnicas y
- Evaluación ascendente de atributos heredados Herramientas Aho, Sethi y Ullmam. Addison-Wesley
- Definiciones con atributos por la Izquierda Iberoamericana, 1990.
• Forma de una definición con atributos por la izquierda
• Esquema de traducción 9 No. De Secciones 2 (dos)
• Eliminación de la recursividad por la izquierda de un esquema de traducción 10 Catedráticos titulares y Ing. Bayron López
auxiliares Ing. Pedro David Tzoc
UNIDAD 2. COMPROBACIÓN DE TIPOS 11 Coordinadora de Staff
- Comprobación estática Área
- Comprobación dinámica 12 Director de Escuela Ing. Jorge Armin Mazariegos
- Equivalencia de expresiones de tipos