diff --git a/teaching/2024/cs522/index.md b/teaching/2024/cs522/index.md index 8b13789..623f1dc 100644 --- a/teaching/2024/cs522/index.md +++ b/teaching/2024/cs522/index.md @@ -1 +1,49 @@ +--- +title: CS 522 -- Spring 2024 +layout: default +--- +# 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. + +## Zoom link + +To be used rarely, only when not available (traveling or sick). Or for office hours: + +https://illinois.zoom.us/j/2172447431?pwd=dEtxWmdJR0FYOElUa1ZLL2RJRzdZUT09 + +## Course Description {#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. + +- *Meetings*: Tu/Th 11:00 - 12:15 +- *Location*: Campus Instructional Facility 2018 +- *Professor*: Grigore Rosu (Office: SC 2110, WWW: , Email: grosu@illinois.edu) +- *Office hours*: By appointment, very flexible (held by Grigore Rosu either in SC 2110 or on Zoom at the same link as above) + +## Lecture Notes, Useful Material {#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. + +- [Introduction](01-Introduction.pdf) + +- Conventional Semantic Approaches + + - [Slides (PDF)](02-Conventional-Executable-Semantics.pdf), + [Slides (PPTX)](02-Conventional-Executable-Semantics.pptx) + (incomplete) + - [Book material on IMP, Big-Step SOS, Small-Step SOS, and Denotational + Semantics](CS522-Spring-2024-basic-semantics.pdf) + +- Rewriting Logic and Maude + + - [slides](CS522-Spring-2024-Maude.pdf) - recommended only for a quick look + - [Book material](CS522-Spring-2024-Maude-book.pdf) - recommended