Why Loops End in C++
Offered By: CppCon via YouTube
Course Description
Overview
Explore the fundamental reasons why loops end in C++ programming through this insightful conference talk by Lisa Lippincott at CppCon 2023. Delve into a comprehensive examination of loop termination, learning how to effectively communicate these reasons within source code using a lightly extended version of C++. Discover a formal scheme for expressing loop termination based on procedural principles of object stability, value substitutability, and operation repeatability. Gain valuable insights into expressing loop termination directly through program flow execution in the loop's vicinity, enhancing code clarity and reliability for other developers.
Syllabus
Why Loops End in Cpp - Lisa Lippincott - CppCon 2023
Taught by
CppCon
Related Courses
Human Computer InteractionIndependent Introduction à la logique informatique - Partie 2 : calcul des prédicats
Université Paris-Saclay via France Université Numerique System Validation (4): Modelling Software, Protocols, and other behaviour
EIT Digital via Coursera Formal Software Verification
University System of Maryland via edX Principles of Secure Coding
University of California, Davis via Coursera