Search
Now showing items 1-4 of 4
Representaciones globales para cuasivariedades de congruencias relativas distributivas
(2015)
Los productos subdirectos globales preservan sentencias de la forma "para todo existe único conjunción de p=q". Esta clase de sentencias permite expresar resultados interesantes (como el teorema de Nachbin, entre otros) ...
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 ...
Optimización de la traducción funcional para lógicas modales
(2013-08-09)
En esta tesis estudiamos las traducciones funcionales que transforman fórmulas de lógica modal a lógica de primer orden con sorts. En trabajos previos se mostró que remover las anotaciones de sorts de las traducciones ...
Estudio de semántica categórica para lenguajes Algol-Like
(2013-09)
Este trabajo consiste en la definición y estudio de tres lenguajes de programación. Los dos primeros serán lenguajes funcionales, uno con un sistema de tipos simple y otro con un sistema de tipos que soporta subtipado. El ...