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

Por:

Rodríguez, Leonardo Matías, 1987-

Colaborador(es):

Detalles de publicación: [S.l. : s.n. ] , 2010Descripción: 119 hojas ; ilustraciones : 30 cmTema(s):

Recursos en línea:

Acceso a RDU-UNC

Formatos físicos adicionales:

Disponible en línea

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, 2010. Resumen: Este trabajo consiste en la implementación de un front-endpara 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.

Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título.

Existencias
Tipo de ítem	Biblioteca actual	Signatura topográfica	Copia número	Estado	Fecha de vencimiento	Código de barras	Reserva de ítems
Trabajo Especial de Grado	FaMAF Secc. Tesis y Trabajos especiales	Trabajo Especial Computación CAJA 11 - 20768	1	Disponible		20768
Trabajo Especial de Grado	FaMAF Depósito Interno	TE C RODg ej.2	2	Disponible		20769

Total de reservas: 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-endpara 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

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