Login
From:
Andrzej's C++ blog
(Uncensored)
subscribe
Contracts, Preconditions & Invariants | Andrzej's C++ blog
https://akrzemi1.wordpress.com/2020/12/09/contracts-preconditions-invariants/
links
backlinks
Roast topics
Find topics
Find it!
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 thi…
