Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore a comprehensive conference talk from CppCon 2024 where Lisa Lippincott, the architect behind Tanium and BigFix systems, delves into the complex world of contract assertions in C++. Learn about the ongoing efforts to implement contract support in C++26 and C++29, focusing on preconditions, postconditions, and assertion statements within function bodies. Understand why contract facilities require multiple perspectives for effective implementation and usage, drawing from presentations made to the Language Evolution subgroup of WG21 at the St. Louis meeting. Gain insights from a language expert who combines practical system architecture experience with deep knowledge of mathematical logic and programming correctness proofs, making complex contract concepts accessible for both novice and experienced C++ developers.
