Fundamentals of Programming Languages (X037515)

to graduates, School of Software

Reference Book

[CGP99]Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled. Model Checking. MIT Press, 1999
[Win93] Glynn Winskel. Formal Semantics of Programming Languages: An Introduction. MIT Press, 1993
[Pie02] Benjamin C. Pierce. Types and Programming Languages. MIT Press, 2002

Lectures

Lecture 1. Introduction and Preliminary.

Lecture 2. Model Checking.

Lecture 3. Finite and Buchi Automata.

Lecture 4. LTL Model Checking.

Lecture 5. Abstract Interpretation.

Lecture 6. Pushdown Automata and Interprocedual Programs.

Lecture 7. Program Semantics.

Lecture 8. Lambda Calculus and Types.

Lecture 9. Conclusion

Materials

Guoqiang Li
Last modified: Friday, Jan. 30, 2026.