Programming Language Semantics.

Catalog description

This course studies the foundations of programming languages by exploring the static and dynamic language semantics from a theoretical perspective. Formal techniques are used to specify programming language semantics and the associated provable guarantees that these specifications provide. Prerequisites: Programming Language Core Skill and Computing Theory Core Skill and Graduate or blended students in the School of Engineering and Computer Science or instructor approval.