On the Ability to Reason About Program Behaviour
Cruz Izu, Cheryl Pope, Amali Weerasinghe · 2017
Abstraction is a core skill for both programming and problem solving, however it is also a challenge for many students to develop a correct understanding of abstract concepts, such as program behaviour, which causes them to struggle with both introductory and advanced programming courses. Thus, evaluating students' ability to reason about programs should be an important topic for CS education.