Browsing Trabajos Especiales de Licenciatura en Ciencias de la Computación by Subject "Compiladores"

Now showing items 1-5 of 5

    • Comparación de arquitectura AMD e Intel para ejecución de GADGET 

      Graña, Rubén Darío (2017)
      Realizo una comparación de la ejecución de código de simulaciones cosmológicas Gadget, el cual evoluciona la materia del universo considerando solo la fuerza de gravedad. Estas ejecuciones se realizaron sobre arquitectura ...

    • 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 ...

    • Sistema de instrumentación estática de código fuente para mocking de funciones y objetos 

      Tiraboschi, Andrés Agustín (2018)
      Este trabajo consiste en el desarrollo de una herramienta de unit testing para el lenguaje de programación C. Los principales problemas que poseen este tipo de herramientas es la intrusión en el código de producción y el ...

    • 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 ...