CMSI 585 Programming Language Foundations

3 semester hours

Mechanisms for the definition of syntax and semantics of programming languages, covering binding, scope, type systems, control flow, subroutines and coroutines, asynchronous and parallel execution, modularity, and metaprogramming. Denotational, operational, and axiomatic semantics. Case studies are taken from existing popular languages and virtual machines.

Prerequisites: CMSI 2210 and CMSI 3801