Synthesizing Imperative Programs for Introductory Programming Assignments.
Sunbeom SoHakjoo OhPublished in: CoRR (2017)
Keyphrases
- imperative programs
- introductory programming
- programming assignments
- dynamic logic
- student learning
- automatic assessment
- programming course
- novice programmers
- high school
- introductory programming courses
- answer questions
- plan execution
- grounded theory
- machine learning
- dynamic environments
- online learning
- general purpose
- knowledge representation