3 credits.

Prereq: CSCE 531

Approaches for specifying programming language semantics, including operational, axiomatic, and denotational specification.