To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

Ask-Elle: an Adaptable Pr… - University of Gothenburg, Sweden Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback

Journal article
Authors Alex Gerdes
Bastiaan Heeren
Johan Jeuring
Liewe Thomas van Binsbergen
Published in International Journal of Artificial Intelligence in Education
Pages 1-36
ISSN 1560-4292
Publication year 2016
Published at
Pages 1-36
Language en
Keywords Functional programming, Haskell, Tutoring, Model tracing, Automated feedback, Adaptability
Subject categories Computer and Information Science

Abstract

Ask-Elle is a tutor for learning the higher-order, strongly-typed functional programming language Haskell. It supports the stepwise development of Haskell programs by verifying the correctness of incomplete programs, and by providing hints. Programming exercises are added to Ask-Elle by providing a task description for the exercise, one or more model solutions, and properties that a solution should satisfy. The properties and model solutions can be annotated with feedback messages, and the amount of flexibility that is allowed in student solutions can be adjusted. The main contribution of our work is the design of a tutor that combines (1) the incremental development of different solutions in various forms to a programming exercise with (2) automated feedback and (3) teacher-specified programming exercises, solutions, and properties. The main functionality is obtained by means of strategy-based model tracing and property-based testing. We have tested the feasibility of our approach in several experiments, in which we analyse both intermediate and final student solutions to programming exercises, amongst others.

Page Manager: Webmaster|Last update: 9/11/2012
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?