19 ms·
When most people hear design by contract, they predominantly think preconditions. Maaaaaybe postconditions. But in fact the most crucial aspect of contracts fo
by tpoacher 4y ago
When most people hear design by contract, they predominantly think preconditions. Maaaaaybe postconditions.
But in fact the most crucial aspect of contracts for me is invariants.