CS522 - Programming Language Semantics (Fall 2009)

From FSL
Jump to: navigation, search

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

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)


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

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

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.

  • 25px-Zip_icon.png HW2.zip Info_circle.png Homework 2 - due Friday, Oct 16, midnight, by email
  • 25px-Pdf_icon.png Recursion Info_circle.png
  • 25px-Pdf_icon.png Polymorphism Info_circle.png
  • 25px-Zip_icon.png HW3.zip Info_circle.png Homework 3 - due Tuesday, Nov 17, midnight, by email
  • The K Language Definitional Framework
  • Axiomatic Semantics

  • Matching Logic

Personal tools