|
|
|
|
| LEADER |
00000nam a22000007a 4500 |
| 001 |
16827 |
| 003 |
AR_CdUFM |
| 005 |
20200730092943.0 |
| 007 |
ta |
| 008 |
130523s2013 ag_||||| |||| 00| 0 spa d |
| 040 |
|
|
|a AR_CdUFM
|c AR_CdUFM
|
| 100 |
1 |
|
|9 3936
|a Debard, Matías Emmanuel,
|d 1985-
|
| 245 |
1 |
0 |
|a Estudio de la semántica del lenguaje intermedio il /
|c Matías Emmanuel Debard.
|
| 260 |
|
|
|a [S.l. :
|b s.n. ],
|c 2013.
|
| 300 |
|
|
|a vii, 75 p. :
|b il. ;
|c 30 cm.
|
| 500 |
|
|
|a Incluye apéndice.
|
| 502 |
|
|
|a Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.
|
| 504 |
|
|
|a Incluye referencias bibliográficas : p. 73-74.
|
| 505 |
2 |
|
|a 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.
|
| 520 |
|
|
|a 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.
|
| 590 |
|
|
|a La biblioteca posee 1 ej.
|
| 590 |
|
|
|a Se quita enlace roto a vieja página web de la facultad. http://www.famaf.unc.edu.ar/institucional/biblioteca/trabajos/638/16827.pdf [2020-07-30]
|
| 650 |
|
4 |
|a Semantics of programming languages
|x Operational semantics.
|
| 650 |
|
4 |
|a Microprogram design Aids
|
| 650 |
|
4 |
|a Semántica de lenguaje de programación
|x Semántica operacional.
|
| 653 |
|
|
|a Machine-independent microcode generation.
|
| 653 |
|
|
|a Código intermedio.
|
| 653 |
|
|
|a Semántica operacional.
|
| 653 |
|
|
|a Evaluador.
|
| 653 |
|
|
|a Graficador.
|
| 653 |
|
|
|a Haskell.
|
| 700 |
1 |
|
|9 5595
|a Fridlender, Daniel Edgardo,
|d 1964-
|e dir.
|
| 700 |
1 |
|
|a Pagano, Miguel María,
|d 1979-
|e dir.
|9 12883
|
| 942 |
|
|
|2
|c TRAB. ESP.
|
| 945 |
|
|
|a MEG
|d 2013-05-22
|
| 945 |
|
|
|a MBO
|d 2013-05-29
|d 2020-07-30
|
| 952 |
|
|
|0 0
|1 0
|2
|4 0
|6 TRABAJO_ESPECIAL_COMPUTACIÓN_CAJA_14_000000000000000__21917
|7 0
|9 22171
|a MMA
|b MMA
|c 94
|d 2013-05-22
|e Donación del autor
|o Trabajo Especial Computación CAJA 14 - 21917
|p 21917
|r 2017-07-21 00:00:00
|t 1
|w 2020-07-30
|x TE C DEB
|y TRAB. ESP.
|
| 999 |
|
|
|c 16827
|d 16826
|
