Preconditions, Postconditions, Invariants - How They Help Write Robust Programs
Offered By: CppNow via YouTube
Course Description
Overview
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.
Syllabus
Preconditions, Postconditions, Invariants: How They Help Write Robust Programs - Andrzej Krzemieński
Taught by
CppNow
Related Courses
Computer GraphicsUniversity of California, San Diego via edX Intro to Parallel Programming
Nvidia via Udacity Initiation à la programmation (en C++)
École Polytechnique Fédérale de Lausanne via Coursera C++ For C Programmers, Part A
University of California, Santa Cruz via Coursera Introduction à la programmation orientée objet (en C++)
École Polytechnique Fédérale de Lausanne via Coursera