1. Exercise Solution Check Specification Language for Interactive Programming Learning Environments
- Author
-
Swacha, Jakub
- Subjects
000 Computer science, knowledge, general works ,Computer Science - Abstract
Automatic checking of the correctness of students' solutions of programming exercises for generating appropriate feedback is a necessary component of interactive programming learning environments. Although there are multiple ways of specifying such a check, ranging from mere string patterns to code written in general-purpose programming language, they all have their deficiencies, with the check specification being too verbose, too complicated, difficult to reuse, or very limited in its expressive capabilities. In this paper, a new language designed especially for this purpose is described. It provides both extension and replacement for RegEx-based pattern specification so that checks typical for programming exercise verification can be expressed in a concise and highly-readable manner.
- Published
- 2017
- Full Text
- View/download PDF