Browsing Tesis de Doctorado en Ciencias de la Computación by Author "Fridlender, Daniel Edgardo"
Now showing items 1-2 of 2
-
Compilación Certificada sobre Máquinas Abstractas de evaluación normal
Rodríguez, Leonardo Matías (2017-03)En esta tesis se analiza cómo demostrar la corrección de compiladores de lenguajes con evaluación normal, utilizando máquinas abstractas como entornos de ejecución. En particular se presenta una prueba de corrección de un ... -
Semántica operacional y su aplicación para el estudio de recolección de basura, en Lua 5.2
Soldevila Raffa, Mallku Ernesto (2021)Lua es un lenguaje de programación imperativo de scripting, que ofrece tipado dinámico, manejo automático de memoria, facilidades para la descripción de datos, y mecanismos de metaprogramación para adaptar el lenguaje a ...