Generación de código intermedio usando semántica funtorial
View/ Open
Date
2010-12-29Author
Rodríguez, Leonardo Matías
Advisor
Fridlender, Daniel Edgardo
Pagano, Miguel María
Metadata
Show full item recordAbstract
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.
xmlui.dri2xhtml.METS-1.0.item-citation
Bibliografía : p. 117-119.