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

Generación de código intermedio usando semántica funtorial / Leonardo Rodríguez.

By: Rodríguez, Leonardo Matías, 1987-.
Contributor(s): Fridlender, Daniel Edgardo, 1964- [dir.] | Pagano, Miguel María, 1979- [dir.].
Material type: materialTypeLabelBookPublisher: [S.l. : s.n. ] , 2010Description: 119 h. ; il. : 30 cm.Subject(s): Semantics of programming languages | Denotational semantics | Mathematical Logic | Lambda calculus and related systems | Semántica de lenguaje de programación | Código intermedio | Categoría funtorial | Semántica denotacional | Agda | Lógica matemática | Sistemas relacionados | Semántica de lenguajes de programaciónOnline resources: Acceso a Versión Digital Disponible en línea http://www.famaf.unc.edu.ar/institucional/biblioteca/trabajos/638/15762.pdfDissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010. Summary: Este trabajo consiste en la implementación de un front-end para un lenguaje de programación Algol-like. El front-end es la primera etapa del proceso de compilación; cuyo objetivo es generar código en un lenguaje intermedio a partir del programa fuente.La generación de código intermedio se realiza a partir de la semántica denotacional del lenguaje, es decir, se elige un modelo que permite pensar las ecuaciones semánticas como traducciones al lenguaje intermedio. El modelo semántico que se elige es una categoría funtorial que permite explicitar en las ecuaciones algunas propiedades deseadas del lenguaje. La implementación se realiza en Agda, un lenguaje funcional con tipos dependientes.
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Call number 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 RODg 1 Available 20768
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF
Secc. Tesis y Trabajos especiales
TE C RODg ej.2 2 Available Disponible también en línea 20769
Total holds: 0

Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010.

Bibliografía : p. 117-119.

Este trabajo consiste en la implementación de un front-end
para un lenguaje de programación Algol-like. El front-end es la
primera etapa del proceso de compilación; cuyo objetivo es generar código en un lenguaje intermedio a partir del programa fuente.La generación de código intermedio se realiza a partir de la semántica denotacional del lenguaje, es decir, se elige un modelo que permite pensar las ecuaciones semánticas como traducciones al lenguaje intermedio. El modelo semántico que se elige es una categoría funtorial que permite explicitar en las ecuaciones algunas propiedades deseadas del lenguaje. La implementación se realiza en Agda, un lenguaje funcional con tipos dependientes.

Disponible en línea

http://www.famaf.unc.edu.ar/institucional/biblioteca/trabajos/638/15762.pdf

La biblioteca posee 2 ej. La biblioteca posee 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



//