Development of a learning support system for reading source code by stepwise abstraction

Abstract

We describes the development of a support system that facilitates the process of meaning deduction by stepwise abstraction in two steps: unifying processing and specifying the meaning of the unified processing. We developed a tool that supports stepwise abstraction with a function that points out learners’ mistakes and makes them aware of their errors. We conducted experiments using the learning support tool and found that the system and process are possibly effective.