Sciweavers

SIGCSE
1991
ACM
98views Education» more  SIGCSE 1991»
15 years 10 days ago
Pictures as invariants
The development, specification, and use of a loop invariant are useful and underutilized tools in writing code to solve a problem or implement an algorithm. Invariants are especi...
Owen L. Astrachan