Programming Language Semantics   [Archived Catalog]
2016-2017 Graduate Studies Bulletin (Archived Copy)
   

CSCE 730 - Programming Language Semantics

Credits: 3

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

Prerequisites: CSCE 531