License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.SLATE.2017.6
URN: urn:nbn:de:0030-drops-79413
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2017/7941/
Go to the corresponding OASIcs Volume Portal

Swacha, Jakub

Exercise Solution Check Specification Language for Interactive Programming Learning Environments

pdf-format:
OASIcs-SLATE-2017-6.pdf (0.3 MB)

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.

BibTeX - Entry

@InProceedings{swacha:OASIcs:2017:7941,
  author =	{Jakub Swacha},
  title =	{{Exercise Solution Check Specification Language for Interactive Programming Learning Environments}},
  booktitle =	{6th Symposium on Languages, Applications and Technologies (SLATE 2017)},
  pages =	{6:1--6:8},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-056-9},
  ISSN =	{2190-6807},
  year =	{2017},
  volume =	{56},
  editor =	{Ricardo Queir{\'o}s and M{\'a}rio Pinto and Alberto Sim{\~o}es and Jos{\'e} Paulo Leal and Maria Jo{\~a}o Varanda},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2017/7941},
  URN =		{urn:nbn:de:0030-drops-79413},
  doi =		{10.4230/OASIcs.SLATE.2017.6},
  annote =	{Keywords: automatic programming exercise solution verification, source code pattern specification, RegEx extension, RegEx alternative}
}

Keywords: automatic programming exercise solution verification, source code pattern specification, RegEx extension, RegEx alternative
Collection: 6th Symposium on Languages, Applications and Technologies (SLATE 2017)
Issue Date: 2017
Date of publication: 04.10.2017

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI