This study examines the comprehension and modification by novices of programs written with taskspecific and non-task-specific constructs. Teachers who write programs for use in th...
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...
This paper extends the model proposed by Papahristodoulou [C. Papahristodoulou, Option strategies with linear programming, European Journal of Operational Research 157 (2004) 246
Programming exercise assessment tools alleviate the task of teachers, and increase consistency of markings. Many programming exercise assessment tools are based on testing. A test...
Languages such as Java and C#, as well as scripting languages like Python, and Ruby, make extensive use of Collection classes. A collection implementation represents a fixed choic...