Estudio de la semántica del lenguaje intermedio il / Matías Emmanuel Debard.
Detalles de publicación: [S.l. : s.n. ], 2013.Descripción: vii, 75 p. : il. ; 30 cmTema(s):Tipo de ítem | Biblioteca actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|
Trabajo Especial de Grado | FaMAF Secc. Tesis y Trabajos especiales | Trabajo Especial Computación CAJA 14 - 21917 | 1 | Disponible | 21917 |
Incluye apéndice.
Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.
Incluye referencias bibliográficas : p. 73-74.
Los compiladores se encargan de la tarea de parseado, transformación y eventual generación de código ejecutable de máquina. Las fases de compilación se dividen generalmente en dos grandes etapas: una etapa inicial (front-end) y una etapa final (back-end). La inicial comprende aquellas fases que dependen exclusivamente del lenguaje fuente. El resultado final de esta etapa es lo que se denomina código intermedio. La etapa final incluye aquellas fases del compilador que dependen de la máquina destino y no del lenguaje fuente sino sólo del código intermedio.
Reynolds describe un método de traducción de lenguajes Algol-like basado en el uso de categorías functoriales para generar código intermedio.
En este trabajo se aborda el estudio de este lenguaje intermedio mediante la definición de su semántica operacional, en particular, semántica small-step a partir de la cual se construye en el lenguaje de programación Haskell un interprete y un graficador.