University of Twente Student Theses


Walker: Automated Assessment of Haskell Code using Syntax Tree Analysis

Vries, R.H. de (2019) Walker: Automated Assessment of Haskell Code using Syntax Tree Analysis.

[img] PDF
Abstract:Programming educators often require students to use specific language features to ensure that they meet the educational goals. Verifying such requirements can be very time-consuming for teaching staff. This research investigates the usage of (static) syntax tree analysis to automatically validate the presence of required language constructs in Haskell programs. This paper shows the effectiveness of this approach by testing a prototype written in Haskell (named Walker) on submissions by students, and discusses the different techniques used for traversing the syntax tree when validating the requirements. The results show the approach to be highly accurate, only showing weaknesses when evaluating student-defined types or deviating function names.
Item Type:Essay (Bachelor)
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science, 81 education, teaching
Programme:Computer Science BSc (56964)
Keywords:Haskell, Functional programming, Syntax trees, Automated assessment, Static analysis
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page