Program Equivalence for Assisted Grading of Functional Programs (Extended Version)

Joshua Clune, Vijay Ramamurthy, Ruben Martins +1

In courses that involve programming assignments, giving meaningful feedback to students is an important challenge. Human beings can give useful feedback by manually grading the pro…