YoVDO

Why Loops End in C++

Offered By: CppCon via YouTube

Tags

C++ Courses Mathematical logic Courses Formal Methods Courses Software Architecture Courses Procedural Programming Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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

Programmation sur iPhone et iPad (partie I)
Université Pierre et Marie CURIE via France Université Numerique
Programming in C++
Indian Institute of Technology, Kharagpur via Swayam
Tecnologie Digitali per la Comunicazione
University of Naples Federico II via Federica
Introduction to Computing using Python
Georgia Institute of Technology via edX
Nuove tecnologie digitali
University of Naples Federico II via edX