Browsing Facultad de Matemática, Astronomía, Física y Computación by Subject "Agda"
Now showing items 1-1 of 1
-
Generación de código intermedio usando semántica funtorial
(2010-12-29)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 ...