CS 2612, Programming Languages and Compilers, Fall 2026

Instructor: Qinxiang Cao (曹钦翔)

TAs: Hongyi Zhong(钟鸿逸)
Lectures
Time 1: Monday 10:00-11:40
Time 2: Wednesday 10:00-11:40
Location: Down Hall (下院) 412
Email: caoqinxiang@sjtu.edu.cn


Extended Reading

  1. Winskel, Glynn. The Formal Semantics of Programming Languages: An Introduction.
  2. Appel, Andrew W. Modern Compiler Implementation in C.

Course Supplements

  1. To Be Released

Course projects

  1. To Be Released

Lecture Schedule

Week Date Lecture Notes Attachments Homework
1 09/14    课程信息简介. pdf

 

 
   词法分析. pdf

 

link
09/16

词法分析器示例. zip
课后思考题. pdf

link
2 09/21    语法分析. pdf

 

link
09/23

语法分析器示例. zip

link
3 09/30

课后思考题. pdf
简单类C语言语法定义. zip

link
link
5 10/12    寄存器分配. pdf

 

link
10/14

课后思考题. pdf

 
6 10/19    指称语义. pdf

 

link
10/21

 

 
   不动点定理. pdf

 

link
7 10/26

 

 
10/28

课后思考题. pdf

 
8 11/02    指称语义与解释器. pdf

 

 
11/04    霍尔逻辑. pdf