Primera Práctica de Compiladores

Cuatrimestre de Otoño 2005

INTRODUCCIÓN:

DOCUMENTACIÓN DISPONIBLE:

• Podeis encontrar documentación en castellano sobre LEX y BISON en:
• manual de LEX
• manual de BISON

• Podeis descargar una implementación gratuita de SML para practicar con el lenguaje en:
• paquete RPM para Linux Para instalarlo (en sistemas linux con soporte de rpms) basta con descargar el fichero y hacer:   rpm -vi  smlnj-110.0.7-4.i386.rpm
• fichero auto-extraible para windows
• si teneis problemas con la instalación, mirar aquí  

• Si lo deseais, podeis consultar algún libro o tutorial sobre SML en:
  • Libro sobre SML en formato PDF
  • Tutorial sobre SML en formato HTML
    

• Ejemplo de sesión interactiva con el SML

• Aquí teneis los módulos ya programados o parcialmente programados de la práctica (atención: si se detectan errores en este código, estos ficheros pueden variar en el futuro)
  • Módulo de manejo de listas: list.h
  • Módulo SymTab de acceso a la tabla de símbolos: symtab.h symtab.c
  • Módulo de manejo del árbol del sintaxi abstracta: ast.h ast.c
  • Módulo de manejo de términos de primer orden (para representar los tipos), con funciones de unificación, instanciación y duplicación de términos: term.h term.c Nueva Versión
  • Módulo léxico: lexico.l (incompleto)
  • Módulo sintáctico: sintactico.y (incompleto)
  • Módulo semántico: semantico.h semantico.c (incompleto) Nueva Versión
  • Fichero para ejecutar make all o make clean y recompilar la práctica facilmente: Makefile

• Enunciado de la práctica: gziped PostScript, HTML, PDF

• Ejecutable de la práctica programada por los profesores de la asignatura: cl1sml (compilado para i686 con linux 2.4.7-10)

• Juegos de pruebas:
  • Práctica básica (construcción val y fun, constantes enteras y recursividad). Entrada: p1.sml . Salida: s1.txt Entrada:p1b.sml Salida: p1b.txt .
  • Primera ampliación (uniones de tipos). Entrada: p2.sml . Salida: s2.txt .
  • Segunda ampliación (listas y operaciones aritméticas). Entrada: p3.sml . Salida: s3.txt .

• Evaluación de la Práctica:
  Se realizará un examen práctico la semana del 8 al 11 de Noviembre. Este será ante el ordenador, y como en cuatrimestres anteriores, consiste en la implementación, en un máximo de dos horas, de una ampliación de vuestra práctica. Una vez finalizada, la debereis entregar usando la facilidad de entrega de prácticas via web del "racó". Se deberán entregar "únicamente" tres ficheros, con los nombres "lexico.l", "sintactico.y" y "semantico.c" (no entregar tar's, ni zip's, ejecutables, ni los módulos suministrados por nosotros, etc). Podéis repetir la entrega tantas veces como deseéis, pero solo se considerará la ultima versión para la evaluación.

• Evaluación de las Ampliaciones:
  Todos los alumnos que hayáis realizado alguna de las ampliaciones (voluntarias) de la práctica de SML, debéis entregarla antes del día 11-11-2004 a las 12:00 utilizando la facilidad de entrega de prácticas vía web que hay en el "racó".

  Se deben entregar "únicamente" tres ficheros, con los nombres "lexico.l", "sintactico.y" y "semantico.c" (no entregar tar's, ni zip's, ejecutables, ni los módulos suministrados por nosotros, etc). Podéis repetir la entrega tantas veces como deseéis, pero solo se considerará la ultima versión para la evaluación. Periódicamente se os enviara un email con el resultado que vuestra práctica genera para los juegos de prueba.

  Los alumnos que no hayáis realizado las ampliaciones también "podéis" hacer uso de esta facilidad.