Date:: April 8th, 2025
Synopsis
The other semantics we have looked at enable us to understand how a program determines its value or type. This kind of semantics helps us understand the conditions under which a program will give us the correct answer.
Videos
- Loop Invariants
Further Reading
- EWD 264 “On Understanding Programs” One of the foundational documents on formally proving programs correct.