238
click to vote
SIGCSE
15 years 11 months ago
1991 ACM
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...
|