Hoare Semantics

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.