Affiliation:
1. Science Teaching Department, Weizmann Institute of Science, Rehovot, Israel
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.
Publisher
Association for Computing Machinery (ACM)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Precise Pictorial Language for Array Invariants;Lecture Notes in Computer Science;2018
2. Loop Invariants;Proceedings of the 47th ACM Technical Symposium on Computing Science Education;2016-02-17
3. Scenario-Based Programming, Usability-Oriented Perception;ACM Transactions on Computing Education;2014-11-03