Loop Invariants

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.

Links

Videos

• Loop Invariants

Further Reading

• EWD 264 "On Understanding Programs"