Browsing Facultad de Matemática, Astronomía, Física y Computación by Author "Ziliani, Beta"
Now showing items 1-3 of 3
-
Generalización de meta-programas con tipado dependiente en Mtac2
Tiraboschi, Ignacio (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 ... -
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 ... -
Verificación de lógicas modales dinámicas en Coq
Trucco, Francisco Carlos (2019-03)Los lenguajes modales son lenguajes adecuados para describir propiedades de grafos dirigidos con nodos etiquetados. Estas estructuras aparecen en una gran variedad de problemas de diversas áreas del conocimiento. Como ...