Este es el repositorio central de la asignatura de compilación para 3er año de Ciencias de la Computación de la facultad de MATCOM de la Universidad de La Habana. Aquí se pueden encontrar las especificaciones del proyecto final de la asignatura, la definición del lenguaje a compilar, y otras cosas en progreso.
Aquí se especifica el sistema de evaluación de la asignatura y la orden del proyecto final.
Descubre HULK (Havana University Language for Kompilers), un lenguaje de programación didáctico, seguro en tipos, orientado a objetos e incremental, con herencia simple, polimorfismo y encapsulación a nivel de clase. Además, en HULK es posible definir funciones globales fuera del alcance de todas las clases, así como una única expresión global que constituye el punto de entrada al programa.
La mayoría de las construcciones sintácticas en HULK son expresiones, incluyendo instrucciones condicionales y ciclos. HULK es un lenguaje estáticamente tipado con inferencia de tipos opcional, lo que significa que algunas (o todas) las partes de un programa pueden ser anotadas con tipos, y el compilador verificará la consistencia de todas las operaciones.