Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Tsukino Furukawa"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 295, Iss Proc. TFPIE 2018, Pp 17-34 (2019)
Steppers, which display all the reduction steps of a given program, are a novice-friendly tool for understanding program behavior. Unfortunately, steppers are not as popular as they ought to be; indeed, the tool is only available in the pedagogical l
Externí odkaz:
https://doaj.org/article/b901a66091d349e6a66eb598683d0ef7
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 295, Iss Proc. TFPIE 2018, Pp 17-34 (2019)
Steppers, which display all the reduction steps of a given program, are a novice-friendly tool for understanding program behavior. Unfortunately, steppers are not as popular as they ought to be; indeed, the tool is only available in the pedagogical l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::011ef2fee1c9d546d5c6a2cda02fc150
https://doaj.org/article/b901a66091d349e6a66eb598683d0ef7
https://doaj.org/article/b901a66091d349e6a66eb598683d0ef7