Print Email Facebook Twitter Exploring Program Equivalence as a Means of Comparing Definitional Interpreters Title Exploring Program Equivalence as a Means of Comparing Definitional Interpreters Author Backx, Ruben (TU Delft Electrical Engineering, Mathematics and Computer Science; TU Delft Software Technology) Contributor Poulsen, C.B. (mentor) van der Rest, C.R. (mentor) Langendoen, K.G. (graduation committee) Degree granting institution Delft University of Technology Programme Computer Science and Engineering Project CSE3000 Research Project Date 2021-07-02 Abstract Grading and giving feedback to student submissions automatically is becoming more and more necessary with an increasing amount of students. To verify the correctness of student-written definitional interpreters, a program equivalence approach has been implemented, improved, and extended with new rules to make it more suited specifically for verifying interpreters. This approach is able to soundly recognise two different interpreters as equivalent. Interpreters can thus be compared to a correct interpreter to verify their correctness or be grouped with equivalent interpreters to be graded in batches. Using program equivalence in combination with other verification approaches can improve the process of giving feedback to students and help build up a collection of common errors made by students. Subject Program EquivalenceInterpretersAssisted GradingProgramming LanguagesFunctional Programming To reference this document use: http://resolver.tudelft.nl/uuid:ba88842a-b867-4a17-959e-de42c84510d2 Bibliographical note https://gitlab.ewi.tudelft.nl/cse3000-auto-test/programme-equivalence https://gitlab.ewi.tudelft.nl/cse3000-auto-test/test-suites Part of collection Student theses Document type bachelor thesis Rights © 2021 Ruben Backx Files PDF exploring_program_equival ... s_anon.pdf 204.13 KB Close viewer /islandora/object/uuid:ba88842a-b867-4a17-959e-de42c84510d2/datastream/OBJ/view