View Item 
        •   Utrecht University Student Theses Repository Home
        • UU Theses Repository
        • Theses
        • View Item
        •   Utrecht University Student Theses Repository Home
        • UU Theses Repository
        • Theses
        • View Item
        JavaScript is disabled for your browser. Some features of this site may not work without it.

        Browse

        All of UU Student Theses RepositoryBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

        Contract Inferencing for Functional Programs

        Thumbnail
        View/Open
        StutterheimThesis.pdf (360.9Kb)
        Publication date
        2013
        Author
        Stutterheim, J.
        Metadata
        Show full item record
        Summary
        Ask-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.
        URI
        https://studenttheses.uu.nl/handle/20.500.12932/12678
        Collections
        • Theses
        Utrecht university logo