Tag Archives: contracts
Contracts, Preconditions & Invariants
In this post we will see what a contract is, how preconditions and invariants can be derived from the contract, and how this process can help detect bugs. Two points that I will be stressing in this post are: (1) … Continue reading
Concealing bugs
Consider the following piece of program code. This program is expected to open file contents.txt, read names from it; then find a desired name, and do something with it. But the program will not do it, because I have a … Continue reading
Posted in programming
Tagged contracts, correctness, static analysis, stating intentions, undefined behavior
21 Comments