Browsing Trabajos Especiales de Licenciatura en Ciencias de la Computación by Author "Ziliani, Beta"
Now showing items 1-2 of 2
-
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 ... -
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 ...