Loop invariants and mathematical games

David Ginat*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


The concept of combining loop invariants with algorithm analysis and design is a significant programming tool. However, teaching this concept is not easy. One way of motivating and supporting the introduction of such a concept, is by illustrating it with attractive examples. In this paper we describe how to illustrate it with mathematical games. In our description, we emphasize the links between heuristic search strategies, pattern exploration, induction, and invariant construction.

Original languageEnglish
Pages (from-to)263-267
Number of pages5
JournalSIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education)
Issue number1
StatePublished - 15 Mar 1995
Externally publishedYes


Dive into the research topics of 'Loop invariants and mathematical games'. Together they form a unique fingerprint.

Cite this