Now showing items 1-2 of 2

    • Un entorno de ejecución de C para detectar comportamientos indefinidos 

      Alonso, Dionisio Enrique; Perona, Leandro Sebastián (2015)
      Con el creciente uso del lenguaje C, se vio la necesidad de crear un estándar que garantice que el mismo código fuente produce el mismo programa, al compilarse con distintos compiladores o en distintas plataformas. No ...
    • Una herramienta para chequeo de tipos en Assembly X86 

      Frias Garay, Alvaro (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 ...