Intermediate problem solving and data structures: walls and mirrors
Intermediate problem solving and data structures: walls and mirrors
Principles of data structures and algorithms with Pascal
Principles of data structures and algorithms with Pascal
The Science of Programming
From specific problem instances to algorithms in the introductory course
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Statically detecting likely buffer overflow vulnerabilities
SSYM'01 Proceedings of the 10th conference on USENIX Security Symposium - Volume 10
Statically detecting likely buffer overflow vulnerabilities
SSYM'01 Proceedings of the 10th conference on USENIX Security Symposium - Volume 10
Mechanical inference of invariants for FOR-loops
Journal of Symbolic Computation
| Hi-index | 0.00 |
In this paper we discuss some of the problems in constructing and utilizing loop invariants for For-loops. Another kind of assertion, the loop post-invariant, is offered as an alternative to the loop invariant in designing, documenting and proving the correctness of For-loops.