Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Evaluación perezosa"'
En este vídeo se presentan las estrategias de evaluación más importantes de los lenguajes de programación funcional, concretamente la estrategia de evaluación impaciente y la estrategia de evaluación perezosa.
Se debe ver el vídeo deteni
Se debe ver el vídeo deteni
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1560::0da1205d2d666ded0703fdd88674aff4
https://hdl.handle.net/10251/63624
https://hdl.handle.net/10251/63624
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