2 search results - page 1 / 1 » sigcse 1991 |
SIGCSE
1991
ACM
13 years 9 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...
SIGCSE
2000
ACM
13 years 9 months ago
2000
ACM
Empirical skills are playing an increasingly important role in the computing profession and our society. But while traditional computer science curricula are effective in teaching...