Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Recursión general"'
Autor:
Sicard-Ramírez, Andrés
Publikováno v:
COLIBRI
Universidad de la República
instacron:Universidad de la República
Universidad de la República
instacron:Universidad de la República
We propose a new approach to computer-assisted verification of lazy functional programs where functions can be defined by general recursion. We work in first-order theories of functional programs which are obtained by translating Dybjer's programming
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::8746df4504d24f1188ac7682263e4f01