Browsing Trabajos Especiales de Licenciatura en Ciencias de la Computación by Subject "Semantics of Programming Languages"
Now showing items 1-2 of 2
-
Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
(2009)Desde tiempos previos a la llamada crisis del software se ha reconocido que la complejidad y el tamaño de los sistemas de software demanda metodologías sistemáticas de desarrollo. El objetivo de éstas es permitir crear, ... -
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 ...