CS522 - Programming Language Semantics (Fall 2009)

From FSL

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

[edit] 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: W/F 12:30 - 1:45, 1131 Siebel Center
Professor: Grigore Rosu (Office: SC 2110, WWW: http://cs.uiuc.edu/grosu, Email: grosu@cs.uiuc.edu)
Office hours: by appointment, very flexible (held by Grigore Rosu in SC 2110)

[edit] Newsgroup

Newgroups are now secure: https://news.cs.illinois.edu/

Next link takes you directly to the class newsgroup: Web Interface to CS522

[edit] 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.

Introduction

The CHALLENGE Language - Example of a semantic definition of a complex language

Operational and Executable Semantics (incomplete)
Maude (incomplete)
IMP.zip - Operational semantics of IMP as rewrite logic theories in Maude (incomplete - CHAM still missing)
HW1.zip Homework 1 - due Friday, Sept 25, midnight, by email