Keyphrases
Logic Error
100%
Automatic Diagnosis
100%
Automatic Correction
100%
Programming Assignments
100%
Functional Programming
100%
Functional Languages
50%
Statistical Errors
25%
Automatically Generate
25%
Symbolic Execution
25%
Error Types
25%
User Study
25%
Undergraduate Students
25%
Programming Errors
25%
Error Correction Mechanism
25%
Number of Students
25%
Complex Error
25%
Feedback Quality
25%
Program Synthesis
25%
Personalized Feedback
25%
Component Search
25%
Programming Course
25%
Search Space Pruning
25%
Error Localization
25%
Type-directed
25%
Component Reduction
25%
Computer Science
Functional Programming
100%
Functional Languages
66%
Experimental Result
33%
Symbolic Execution
33%
Search Space
33%
Undergraduate Student
33%
Programming Error
33%
Error Correction
33%
Correction Algorithm
33%
Program Synthesis
33%
programming course
33%