Data-Driven Program Synthesis for Hint Generation in Programming Tutors.

Timotej Lazar Ivan Bratko

Published in: Intelligent Tutoring Systems (2014)

Keyphrases

program synthesis
data driven
programming language
recursive programs
e learning
intelligent tutoring systems
inductive logic programming
model driven
general purpose
machine learning
learning resources
computer programming
cognitive tutor