Programming Language Semantics

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.