We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
In this paper we argue that treating “testing” as an isolated topic is a wrong approach in computer science and software engineering teaching. Instead testing should pervade p...
Finding the optimal teaching strategy for an individual student is difficult even for an experienced teacher. Identifying and incorporating multiple optimal teaching strategies fo...