Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Elijah Rivera"'
Autor:
Elijah Rivera, Shriram Krishnamurthi
Publikováno v:
Proceedings of the ACM on Programming Languages. 6:343-356
In teaching students to program with compositions of higher-order functions, we have encountered a sharp distinction in the difficulty of problems as perceived by students. This distinction especially matters as growing numbers of programmers learn a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a0ba99d52477e58a1945b537dd7ea37f
https://doi.org/10.1145/3547633
https://doi.org/10.1145/3547633
Publikováno v:
Annual Computer Security Applications Conference.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::340f2bf2c90378941f4e7da426f6fa57
https://doi.org/10.1145/3485832.3485903
https://doi.org/10.1145/3485832.3485903
Context: This work is based on property-based testing (PBT). PBT is an increasingly important form of software testing. Furthermore, it serves as a concrete gateway into the abstract area of formal methods. Specifically, we focus on students learning
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8356903224fd359b990d1bcabc422117
Publikováno v:
AIAA AVIATION 2020 FORUM.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a014a10e3002189b92392cdb5fac4752
https://doi.org/10.2514/6.2020-2628
https://doi.org/10.2514/6.2020-2628