Haskell CS 421 LogoCS 421 — Programming Languages

Hoare Semantics

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

Handouts

Further Reading