Complementing the Digital Programming Tutor Ask-Elle with Program Synthesis
| dc.contributor.author | Engsmyre, Gustav | |
| dc.contributor.author | Wikström, Karl | |
| dc.contributor.department | Chalmers tekniska högskola / Institutionen för data och informationsteknik | sv |
| dc.contributor.examiner | Ljunglöf, Peter | |
| dc.contributor.supervisor | Gerdes, Alex | |
| dc.date.accessioned | 2021-07-02T07:47:21Z | |
| dc.date.available | 2021-07-02T07:47:21Z | |
| dc.date.issued | 2021 | sv |
| dc.date.submitted | 2020 | |
| dc.description.abstract | Practising is a part of learning how to program. Usually, teachers help students with this, but digital alternatives are available. Ask-Elle is such an alternative, developed for teaching the functional programming language Haskell. Students can submit partial solutions to exercises and will receive feedback from Ask-Elle. However, it has some limitations when dealing with partial solutions that diverge from the structure of its reference solutions. We present a proof of concept to complement Ask-Elle (called thupy) that aims to handle solutions where students do not follow the structure of the reference solutions from Ask-Elle. We use program synthesis to generate a suggested next step for a student, with more focus on the behaviour rather than the structure of the reference solutions. Our results show that this is a promising idea. Evaluating thupy on a dataset gathered from Ask-Elle, we manage to provide feedback on 21% of student solution where Ask-Elle cannot, and 35% of solutions where it can. We measure an average runtime of 3 seconds, which is an acceptable amount of time to wait for feedback. | sv |
| dc.identifier.uri | https://hdl.handle.net/20.500.12380/302935 | |
| dc.language.iso | eng | sv |
| dc.setspec.uppsok | Technology | |
| dc.subject | Computer Science | sv |
| dc.subject | Functional Programming | sv |
| dc.subject | Digital Programming Tutor | sv |
| dc.subject | Program Synthesis | sv |
| dc.subject | Haskell | sv |
| dc.subject | Ask-Elle | sv |
| dc.title | Complementing the Digital Programming Tutor Ask-Elle with Program Synthesis | sv |
| dc.type.degree | Examensarbete för masterexamen | sv |
| dc.type.uppsok | H |