A System for Identification of Stumbles in Construction of Program Logic that Does Not Appear as Compilation Errors

In programing exercises, it is important to identify the stumbling of each student and to provide appropriate guidance. However, there are circumstances in which students’ stumbling cannot be fully understood due to the diverse nature of their stumbling and the limited number of instructors. In particular, students tend to stumble when trying to shape their programs to match the target processing (“stumbling in construction of a program logic”). However, it is difficult to identify this stumbling since it does not appear as a compilation error. We have developed a system for automatically estimating the stumbling in the construction of a program logic. An experiment to evaluate the effectiveness of the proposed system produced promising results regarding its effectiveness for identifying stumbling in logic construction.