Search
Now showing items 1-5 of 5
Generalización de meta-programas con tipado dependiente en Mtac2
(2020-03)
En este trabajo presentamos un nuevo meta-meta-programa lift que nos provee de una solución semiautomática para la generalización de terminos dependientes monádicos: dado cualquier metaprograma o operador (cómo bind) y una ...
Análisis de estructuras de sufijos de strings
(2021)
El problema de desarrollar algoritmos que decidan si un cierto patrón o palabra aparece o no en un determinado texto es fundamental en ciencias de la computación. Diversos algoritmos se han desarrollado en las últimas ...
Cálculo de tableaux para fórmulas elementales en lógicas de separación
(2020)
En este trabajo final investigamos métodos computacionales de razonamiento para lenguajes modales dinámicos. Por lenguajes dinámicos nos referimos a formalismos que permitan cambiar la estructura subyacente a medida que ...
Automatización para el entorno Isabelle / ZF
(2021-03)
Al formalizar en Isabelle/ZF las definiciones asociadas a Forcing para demostrar la independencia de la Hipótesis del Continuo, se presenta una cantidad significativa de tareas sistemáticas y repetitivas, entre las que se ...
Una herramienta para chequeo de tipos en Assembly X86
(2023-10-15)
Esta tesis aborda el desarrollo de una herramienta diseñada para realizar el chequeo de tipos en programas escritos en el lenguaje de ensamblaje x86. El principal desafío abordado en esta investigación es superar la falta ...