Johnson C. G. (2006)
Abstract Interpretation of Student Programs as a Strategy for Courseware Development.
Methods, Materials and Tools for Programming Education,
Codewitz Open Conference, Tampere, Finland, May 2006, 14-20.
Available at
http://www.codewitz.net/mmt2006proceedings.php.
Abstract: What kinds of feedback can we give to students as part of a computer-based system for supporting programming? One kind of feedback is whether the idioms that students use in their programs are typical of experienced programmers. In this paper we talk about how such idioms/patterns/roles/clichs are used in a tacit fashion by experienced programmers, and e how natural language tags for such idioms (e.g. roles of variables) can be used to articulate this knowledge. Based on these ideas we suggest a strategy for giving feedback to students in courseware: students annotate their program using an annotation language that captures these idioms; then abstract interpretation of programs is used by the courseware to check these annotations and provide focused feedback. As a case study, we show how roles of variables can be annotated and those annotations automatically checked in the BlueJ programming environment.
Last updated: July 24, 2006