CS522 - Programming Language Semantics

Students enrolled in this class are expected to check this web page regularly. Lecture notes and important other material will be posted here.

To be used rarely, only when not available (traveling or sick). Or for office hours:

https://illinois.zoom.us/j/2172447431?pwd=dEtxWmdJR0FYOElUa1ZLL2RJRzdZUT09

Lecture Recordings

Jan 23 Feb 20 Mar 21

Course Description

CS522 is an advanced course on semantics of programming languages. Various semantic approaches and related aspects will be defined and investigated. Executable semantics of various programming languages and paradigms will be discussed, together with major theoretical models.

Lecture Notes, Useful Material

The links below provide you with useful material for this class, including complete lecture notes. These materials will be added by need and more topics will be added.