Browsing by Author "6d4bad2b-5ded-4158-8003-fb4aa23e6f0e"
Now showing items 1-1 of 1
-
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 ...