Browsing Trabajos Especiales de Licenciatura en Ciencias de la Computación by Author "Pagano, Miguel María"

Now showing items 1-5 of 5

    • Automatización para el entorno Isabelle / ZF 

      Steinberg, Matías Uriel (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 ...

    • Estudio de semántica categórica para lenguajes Algol-Like 

      Gadea, Alejandro Emilio (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 ...

    • Generación de código intermedio usando semántica funtorial 

      Rodríguez, Leonardo Matías (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 ...

    • Representación semántica de lenguaje natural en el dominio de fórmulas lógicas 

      Piloni, Diego (2018)
      Este trabajo final de licenciatura parte del supuesto que el aprendizaje del lenguaje simbólico de lógica formal es problemático (Oller, 2006). Algunos aspectos de esta dificultad son analizados por los autores de “Language, ...

    • Soporte para ARM en un compilador verificado 

      Arranz Olmos, Santiago (2022-12)
      Este trabajo es un estudio de un lenguaje de programación, llamado Jasmin, utilizado para desarrollar criptografía eficiente y confiable, así como una propuesta de una extensión a esta herramienta para agregar soporte para ...