Preconditions, Postconditions, Invariants - How They Help Write Robust Programs

Explore key concepts for writing robust programs in this comprehensive conference talk from CppNow. Delve into function contracts, preconditions, postconditions, and invariants, learning how these notions contribute to program correctness. Discover how to write code more consciously with fewer bugs, understand the current representation of these terms in code, and explore potential improvements in tools like static analyzers and IDEs. Examine the distinction between bugs and their symptoms, and learn strategies for addressing root causes rather than masking issues. Gain practical insights into applying the Design by Contract methodology, understanding the nuances of contracts beyond their components, and recognizing the complementary nature of contract-encoding types and preconditions/invariants. No prior knowledge is required for this informative session led by experienced software developer and C++ Standards Committee member Andrzej Krzemieński.

Preconditions, Postconditions, Invariants: How They Help Write Robust Programs - Andrzej Krzemieński