December 2015
Beginner to intermediate
832 pages
26h 13m
English
4Contracts form a solid framework for arguing about the correctness of code: Class invariants capture the consistency of the objects’ internal structures, while the pre- and post-conditions of methods describe the objects’ behavior to clients without requiring knowledge of the objects’ internals.
4.2.3Within methods, the workings of the code can be traced in detail, down to
4.7formalizing the effects of individual ...