Imagen de cubierta local
Imagen de cubierta local
Imagen de Google Jackets

Estudio de la semántica del lenguaje intermedio il / Matías Emmanuel Debard.

Por: Colaborador(es): Detalles de publicación: [S.l. : s.n. ], 2013.Descripción: vii, 75 p. : il. ; 30 cmTema(s):
Contenidos parciales:
Semántica operacional -- Módulos del evaluador il -- Implementación del evaluador -- Módulos del graficador -- Análisis de casos concretos -- Uso del graficador : opciones de uso.
Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013. Resumen: 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.
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título.
Existencias
Tipo de ítem Biblioteca actual Signatura Copia número Estado Fecha de vencimiento Código de barras Reserva de ítems
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF Secc. Tesis y Trabajos especiales Trabajo Especial Computación CAJA 14 - 21917 1 Disponible 21917
Total de reservas: 0

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.

Haga clic en una imagen para verla en el visor de imágenes

Imagen de cubierta local


Nuestras Redes Sociales

facebook Instagram

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:30hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127 (Atención al Público) int. 41151 (Dirección)

biblio@famaf.unc.edu.ar (Dirección)

publicofamaf@gmail.com (Atención al público)