We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
Why Loops End in Cpp - Lisa Lippincott - CppCon 2023
Why loops end in C++ is a nuanced topic, and this talk explores the careful implementation and consideration of postconditions that lead to loop termination.
- The reasons why loops end in C++ are due to careful implementation and consideration of postconditions.
- Loops are a natural part of programming, and the reason they end is due to the careful design of the algorithm.
- The reference increment axiom states that incrementing a reference will produce the same result as adding one to the original value.
- The reference less or equal axiom states that comparing a reference to another value will produce the same result as comparing the original value to the other value.
- Loops can be designed to end due to the careful consideration of the preconditions and postconditions of the algorithm.
- The interface for the operation is the block of code that defines the operation, and the interface for the operation is what the robot can see.
- The algorithm for the operation is the sequence of events that the robot can repeat to produce the desired result.
- The counting theorem is the mathematical principle that states that the result of the operation is the same as the result of the algorithm.
- The variant is the integer expression that is being incremented, and the variant is what determines the number of iterations of the loop.
- The free energy is the cosmological loop variant, and the free energy is what drives the loop to end.
- The interfaces for the operation are the blocks of code that define the operation, and the interfaces for the operation are what the robot can see.
- The algorithm for the operation is the sequence of events that the robot can repeat to produce the desired result.
- The counting theorem is the mathematical principle that states that the result of the operation is the same as the result of the algorithm.
- The variant is the integer expression that is being incremented, and the variant is what determines the number of iterations of the loop.