论文标题
用于编程导师的模型驱动的合成
Model-Driven Synthesis for Programming Tutors
论文作者
论文摘要
在向从事初学者练习的学生提供自动反馈时，许多编程导师会遇到完整的问题。一方面，我们希望学生自由实验。另一方面，我们希望一个学生以我们可以提供建设性反馈的方式编写她的课程。我们建议研究如何通过使用程序合成来克服这个问题，该程序合成我们用来生成与学生程序紧密匹配的正确解决方案，并根据结果提供反馈。
When giving automated feedback to a student working on a beginner's exercise, many programming tutors run into a completeness problem. On the one hand, we want a student to experiment freely. On the other hand, we want a student to write her program in such a way that we can provide constructive feedback. We propose to investigate how we can overcome this problem by using program synthesis, which we use to generate correct solutions that closely match a student program, and give feedback based on the results.
