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

Joshua Clune Vijay Ramamurthy Ruben Martins Umut A. Acar

Published in: CoRR (2020)

Keyphrases

functional programs
term rewriting systems
lazy evaluation
logic programs
stochastic grammar
functional language
databases
data mining