CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF
Normal view MARC view ISBD view

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

By: Debard, Matías Emmanuel, 1985-.
Contributor(s): Fridlender, Daniel Edgardo, 1964- [dir.] | Pagano, Miguel María, 1979- [dir.].
Material type: materialTypeLabelBookPublisher: [S.l. : s.n. ], 2013Description: vii, 75 p. : il. ; 30 cm.Subject(s): Semantics of programming languages -- Operational semantics | Microprogram design Aids | Semántica de lenguaje de programación -- Semántica operacional | Machine-independent microcode generation | Código intermedio | Semántica operacional | Evaluador | Graficador | HaskellOnline resources: Acceso a Versión Digital Disponible en línea.
Partial contents:
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.
Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013. Summary: 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.
Tags from this library: No tags from this library for this title.
Item type Current location Call number URL Copy number Status Notes Date due Barcode Item holds
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF
Secc. Tesis y Trabajos especiales
TE C DEB http://www.famaf.unc.edu.ar/institucional/biblioteca/trabajos/638/16827.pdf 1 Available Disponible también en línea 21917
Total holds: 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.

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.

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.

Disponible en línea.

La biblioteca posee 1 ej.

Click on an image to view it in the image viewer

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

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

publicofamaf@gmail.com



//