Browsing Tesis de Doctorados by Author "Pagano, Miguel María"
Now showing items 1-2 of 2
-
Biortogonalidad para corrección de compiladores y adecuación computacional
Gadea, Alejandro Emilio (2019)En esta tesis hemos estudiado en profundidad los métodos de biortogonalidad y step-indexing para probar tanto adecuación computacional como corrección de compiladores. Un primer aporte es la prueba de corrección de una ... -
Formalización de fundaciones de la matemática y compiladores correctos por construcción
Gunther, Emmanuel (2019)Dentro de las teorías fundacionales de la matemática se encuentran la Teoría de Conjuntos y la Teoría de Tipos. La primera es bien conocida en la comunidad matemática; la teoría de tipos además de ser una posible fundación, ...