Teaching loop invariants to beginners by examples

Abstract

Since the concept of a loop invariant has long been recognized as the correct way to design and analyse loops, it is important that its application to programming be introduced to students and programmers as early as possible. This paper describes how to teach the use of loop invariants to reason about loops and to program them correctly in introductory programming courses by following a systematic set of steps coupled with examples.