Teaching loop invariants to beginners by examples-Reference-Cited by-同舟云学术

Teaching loop invariants to beginners by examples

Published:1992-03 Issue:1 Volume:24 Page:92-96
ISSN:0097-8418
Container-title:ACM SIGCSE Bulletin
language:en
Short-container-title:SIGCSE Bull.

Author:

Tam Wing C.¹

Affiliation:

1. Harvey Mudd College, Claremont, CA

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.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/135250.134530

Reference4 articles.

1. Salmon William I. Structures and Abstractions Irwin 1991. Salmon William I. Structures and Abstractions Irwin 1991.

2. Warlord J. Stanley Computer Science Heath 1991. Warlord J. Stanley Computer Science Heath 1991.

3. Giles David The Science of Programming Springer-Verlag 1981. Giles David The Science of Programming Springer-Verlag 1981.

4. Dijkstra Edsgar W. a Discipline Of Programming Prentice-Hall 1976. Dijkstra Edsgar W. a Discipline Of Programming Prentice-Hall 1976.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An Exploration of Teachers’ Perspective About the Learning of Iteration-Control Constructs;Informatics in Schools. New Ideas in School Informatics;2019

2. Tool-Assisted Loop Invariant Development and Analysis;2016 IEEE 29th International Conference on Software Engineering Education and Training (CSEET);2016-04

3. Loop Invariants;Proceedings of the 47th ACM Technical Symposium on Computing Science Education;2016-02-17