Zobrazeno 1 - 10
of 179
pro vyhledávání: '"SHRIRAM KRISHNAMURTHI"'
Publikováno v:
Informatics in Education, Vol 23, Iss 4, Pp 723-734 (2024)
CODAP is a widely-used programming environment for secondary school data science. Its direct-manipulation–based design offers many advantages to learners, especially younger students. Unfortunately, these same advantages can become a liability when
Externí odkaz:
https://doaj.org/article/0bcace73da2d423a9647389635afb5a2
Autor:
Rebecca Elizabeth Vieyra, Colleen Megowan-Romanowicz, Kathi Fisler, Benjamin S. Lerner, Joe Gibbs Politz, Shriram Krishnamurthi
Publikováno v:
Education Sciences, Vol 14, Iss 8, p 861 (2024)
Teaching computation in science courses can enhance science education, but doing so requires that teachers expand the vision of their discipline beyond the traditional view of science presented in most curricula. This article describes a design-based
Externí odkaz:
https://doaj.org/article/559ccdcb3a7847e7841e2e372e3b205e
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:
Proceedings of the ACM on Programming Languages. 6:1-29
Model-finders, such as SAT/SMT-solvers and Alloy, are used widely both directly and embedded in domain-specific tools. They support both conventional verification and, unlike other verification tools, property-free exploration. To do this effectively
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8df8cca4a651bf16abd9acbbbd64824f
https://doi.org/10.1145/3527323
https://doi.org/10.1145/3527323
Publikováno v:
Proceedings of the 22nd Koli Calling International Conference on Computing Education Research.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cd3ffab3e6600f3f62f43c84e624ecb0
https://doi.org/10.1145/3564721.3564722
https://doi.org/10.1145/3564721.3564722
Publikováno v:
Proceedings of the 22nd Koli Calling International Conference on Computing Education Research.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8f4576861d789e7aff8525751b33fc07
https://doi.org/10.1145/3564721.3564726
https://doi.org/10.1145/3564721.3564726
Context: Linear Temporal Logic (LTL) has been used widely in verification. Its importance and popularity have only grown with the revival of temporal logic synthesis, and with new uses of LTL in robotics and planning activities. All these uses demand
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fadf16ef00b37c304cd06cc38d4d616b
http://arxiv.org/abs/2211.01677
http://arxiv.org/abs/2211.01677
Autor:
John Clements, Shriram Krishnamurthi
Publikováno v:
Proceedings of the 2022 ACM Conference on International Computing Education Research V.1.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::49ce470e0fc6d4cfa0e990e52becba0b
https://doi.org/10.1145/3501385.3543961
https://doi.org/10.1145/3501385.3543961
Context: Gradually-typed languages allow typed and untyped code to interoperate, but typically come with significant drawbacks. In some languages, the types are unreliable; in others, communication across type boundaries can be extremely expensive; a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6938db5b07e8efe265299374ad7d6d95
http://arxiv.org/abs/2206.13831
http://arxiv.org/abs/2206.13831
Publikováno v:
DLS
There are several different gradual typing semantics, reflecting different trade-offs between performance and type soundness guarantees. Notably absent, however, are any data on which of these semantics developers actually prefer. We begin to rectify
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1b3baeb1f407b617eb2bc8ce9289062c
https://doi.org/10.1145/3393673.3276947
https://doi.org/10.1145/3393673.3276947