@inproceedings{7b65bd9f45644e0ba680e3c87b45f11b,
title = "Loop invariants and mathematical games",
abstract = "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.",
author = "David Ginat",
note = "Publisher Copyright: {\textcopyright} 1995 ACM.; null ; Conference date: 02-03-1995 Through 04-03-1995",
year = "1995",
month = mar,
day = "15",
doi = "10.1145/199688.199812",
language = "אנגלית",
series = "Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1995",
publisher = "Association for Computing Machinery, Inc",
pages = "263--267",
editor = "Miller, {James E.} and White, {Curt M.} and Judy Gersting and White, {Curt M.}",
booktitle = "Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1995",
}