El Catálogo Colectivo reúne los registros del material que posee cada una de las
bibliotecas de la Universidad Nacional de Córdoba, pudiendo encontrarse colecciones
especializadas y actualizadas en todas las áreas del conocimiento; lo que permite una
amplia visibilidad y garantiza el acceso al patrimonio documental de la Universidad.
Se encuentra disponible para toda la comunidad académica: estudiantes, docentes,
egresados e investigadores.
Si formas parte de la comunidad de la UNC también podés solicitar préstamos de material,
a cualquier biblioteca universitaria, utilizando el servicio de préstamo interbibliotecario,
independientemente de la facultad a la que pertenezcas, la carrera que curses o la cátedra
que dictes.
Estudio de la semántica del lenguaje intermedio il /
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 dep...
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.
