AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
Explore the intricacies of C++ loop termination in this comprehensive conference talk from C++ on Sea 2023. Delve into the fundamental reasons why loops end and learn a formal scheme for expressing these reasons within C++ source code. Examine procedural principles such as object stability, value substitutability, and operation repeatability to understand how a program's flow of execution in the loop's vicinity can directly convey termination reasons. Gain insights from Lisa Lippincott, a seasoned software architect and C++ standardization committee member, as she presents her approach to enhancing code clarity and reliability. Discover how incorporating computer-checked proofs of correctness can become a standard practice in programming, potentially revolutionizing software development methodologies.
