Sciweavers

SIGCSE
1991
ACM
98views Education» more  SIGCSE 1991»
14 years 3 months 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