Enhancing DrRacket with Dodona for Learning Scheme
Pages 81 - 82
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.
References
[1]
Abelson Harold and Sussman Gerald Jay. 1996. Structure and interpretation of computer programs. The MIT Press.
[2]
Heather Miller, Philipp Haller, Lukas Rytz, and Martin Odersky. 2014. Functional Programming for All! Scaling a MOOC for Students and Professionals Alike. In Companion Proceedings of the 36th International Conference on Software Engineering(ICSE Companion 2014). Association for Computing Machinery, New York, NY, USA, 256–263. https://doi.org/10.1145/2591062.2591161
[3]
Otto Peters. 2000. Digital Learning Environments: New Possibilities and Opportunities. International Review of Research in Open and Distance Learning 1 (June 2000). https://doi.org/10.19173/irrodl.v1i1.3
[4]
Niels Pinkwart and Sebastian Gross. 2015. Towards an Integrative Learning Environment for Java Programming. In 2015 IEEE 15th International Conference on Advanced Learning Technologies. 24–28. https://doi.org/10.1109/ICALT.2015.75 Journal Abbreviation: 2015 IEEE 15th International Conference on Advanced Learning Technologies.
Index Terms
- Enhancing DrRacket with Dodona for Learning Scheme
Recommendations
A General Learning Scheme for CMAC-based Controller
Cerebellar model articulation controller (CMAC) is a powerful tool for nonlinear control applications. However, it yet lacks an adequate learning scheme. It is found that, with the existing learning scheme, if a complicated learning algorithm is not ...
Enhancing Machine Learning Based Malware Detection Model by Reinforcement Learning
ICCNS '18: Proceedings of the 8th International Conference on Communication and Network SecurityMalware detection is getting more and more attention due to the rapid growth of new malware. As a result, machine learning (ML) has become a popular way to detect malware variants. However, machine learning models can also be cheated. Through ...
Comments
Information & Contributors
Information
Published In
March 2022
98 pages
ISBN:9781450396561
DOI:10.1145/3532512
Copyright © 2022 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 08 December 2022
Check for updates
Author Tags
Qualifiers
- Short-paper
- Research
- Refereed limited
Conference
<Programming> '22 Companion
<Programming> '22 Companion: 6th International Conference on the Art, Science, and Engineering of Programming
March 21 - 25, 2022
Porto, Portugal
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 27Total Downloads
- Downloads (Last 12 months)11
- Downloads (Last 6 weeks)6
Reflects downloads up to 14 Sep 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign inFull Access
View options
View or Download as a PDF file.
PDFeReader
View online with eReader.
eReaderHTML Format
View this article in HTML Format.
HTML Format