发布求助
文献互助 智能选刊 最新文献

Companion Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming最新文献

筛选
英文 中文
Enhancing DrRacket with Dodona for Learning Scheme 用Dodona学习计划加强DrRacket
Companion Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming Pub Date : 2022-03-21 DOI: 10.1145/3532512.3564142
Turgut Reis Kursun, Mathijs Saey, V. Jonckers
{"title":"Enhancing DrRacket with Dodona for Learning Scheme","authors":"Turgut Reis Kursun, Mathijs Saey, V. Jonckers","doi":"10.1145/3532512.3564142","DOIUrl":"https://doi.org/10.1145/3532512.3564142","url":null,"abstract":"Learning how to program in a typical setting is challenging because feedback can often not be given immediately. Tracking the work of a student is also challenging for teachers, as the work of a student is not readily accessible. Therefore, digital learning environments have been considered to facilitate the learning process. We aim to facilitate the learning process of beginner students learning Scheme. To this end, we have developed a plugin for the DrRacket IDE (used for Scheme), that communicates with Dodona, a web service geared towards helping students learn how to code. Our plugin uses the information provided by this platform to give students immediate feedback on their code inside the DrRacket IDE. To enable the above, we extended the Dodona platform to support Scheme. As part of our extensions, we introduced several dynamic and static analyses to the Dodona platform, which we use to verify additional properties of the code submitted by students.","PeriodicalId":245819,"journal":{"name":"Companion Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-03-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131119145","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Programming in an fMRI Scanner: A Report from the Field 功能磁共振成像扫描仪的编程:来自该领域的报告
Companion Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming Pub Date : 2022-03-21 DOI: 10.1145/3532512.3535220
S. Tanimoto, Robert H. Thompson, Todd R. Richards, Cheri Yates, Virginia M. Berninger
{"title":"Programming in an fMRI Scanner: A Report from the Field","authors":"S. Tanimoto, Robert H. Thompson, Todd R. Richards, Cheri Yates, Virginia M. Berninger","doi":"10.1145/3532512.3535220","DOIUrl":"https://doi.org/10.1145/3532512.3535220","url":null,"abstract":"A preliminary study is reported in which six human subjects were scanned while performing a simple form of computer programming. Functional magnetic resonance imaging typically precludes the use of ordinary computing equipment due to safety concerns when items with metallic parts are in the scanning room. We used a special visual programming environment, “Kokopelli’s World,” for which an optics-only trackball was sufficient. This research methodology is described. Aspects of the experience of programming, by one of the authors, in the fMRI scanner are reported. An analysis of the data from the scanning is presented, and brain areas where activity for coding exceeded activity for a control task were identified and are presented here. These observations suggest hypotheses and directions for future research. One hypothesis is that particular aspects of programming are inherently and measurably pleasurable.","PeriodicalId":245819,"journal":{"name":"Companion Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-03-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128294177","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Companion Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming 第六届编程艺术、科学与工程国际会议论文集
Companion Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming Pub Date : 1900-01-01 DOI: 10.1145/3532512
{"title":"Companion Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming","authors":"","doi":"10.1145/3532512","DOIUrl":"https://doi.org/10.1145/3532512","url":null,"abstract":"","PeriodicalId":245819,"journal":{"name":"Companion Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127161615","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信