Show simple item record

dc.rights.licenseCC-BY-NC-ND
dc.contributor.advisorJeuring, J. T.
dc.contributor.authorStutterheim, J.
dc.date.accessioned2013-02-25T18:01:24Z
dc.date.available2013-02-25
dc.date.available2013-02-25T18:01:24Z
dc.date.issued2013
dc.identifier.urihttps://studenttheses.uu.nl/handle/20.500.12932/12678
dc.description.abstractAsk-Elle is a programming tutor that allows students to learn Haskell at their own pace, without a teacher’s direct supervision. To enable this, the tutor requires model solutions to be specified up front by a teacher, after which the tutor is able to guide the student towards one of these solutions. However, should the student deviate from the model solutions too much, the tutor can no longer give assistance. In an attempt to still provide the student with feedback once that happens, we propose using both QuickCheck and contracts to locate potential bugs in the student’s program. Since we, in general, do not know anything about the structure of a student’s solution, we propose and implement a method for inferring contracts for the student’s program.
dc.description.sponsorshipUtrecht University
dc.format.extent369563 bytes
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.titleContract Inferencing for Functional Programs
dc.type.contentMaster Thesis
dc.rights.accessrightsOpen Access
dc.subject.keywordsContracts, tutor, Ask-Elle, QuickCheck, inference
dc.subject.courseuuComputing Science


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record