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
Further Reading