CSCE 730: Programming Language Semantics 3 credits. Pre-Requisites or Co-Reqs: Prereq: CSCE 531 Approaches for specifying programming language semantics, including operational, axiomatic, and denotational specification.