Teachers and students in charge: using annotated model solutions in a functional programming tutor

Authors:
Alex Gerdes;Bastiaan Heeren;Johan Jeuring
Affiliations:
School of Computer Science, Open Universiteit Nederland, Heerlen, The Netherlands;School of Computer Science, Open Universiteit Nederland, Heerlen, The Netherlands;School of Computer Science, Open Universiteit Nederland, Heerlen, The Netherlands,Department of Information and Computing Sciences, Universiteit Utrecht, The Netherlands
Venue:
EC-TEL'12 Proceedings of the 7th European conference on Technology Enhanced Learning
Year:
2012

Citing 3
Cited 1

A multi-national, multi-institutional study of assessment of programming skills of first-year CS students

Working group reports from ITiCSE on Innovation and technology in computer science education
An interactive functional programming tutor

Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education
Ask-Elle: a haskell tutor demonstration

EC-TEL'12 Proceedings of the 7th European conference on Technology Enhanced Learning

Ask-Elle: a haskell tutor demonstration

EC-TEL'12 Proceedings of the 7th European conference on Technology Enhanced Learning

Quantified Score

Hi-index	0.00

Visualization

Abstract

We are developing Ask-Elle, a programming tutor that supports students practising functional programming exercises in Haskell. Ask-Elle supports the stepwise construction of a program, can give hints and worked-out solutions at any time, and can check whether or not a student is developing a program similar to one of the model solutions for a problem. An important goal of Ask-Elle is to allow as much flexibility as possible for both teachers and students. A teacher can specify her own exercises by giving a set of model solutions for a problem. Based on these model solutions our tutor generates feedback. A teacher can adapt feedback by annotating model solutions. A student may use her own names for functions and variables, and may use different, but equivalent, language constructs. This paper shows how we track intermediate student steps in Ask-Elle and how we avoid the state space explosion we get when analysing intermediate, incomplete, student answers.