Formal Semantics of Programming Languages, Fall 2026

程序设计语言的形式语义（Formal Semantics of Programming Languages）

学期：2026-2027学年第一学期

上课时间地点：周三3-4节，10:10 - 12:00，仙I-216

Office Hours：周三下午15:00-17:00，计算机楼404室

授课老师：梁红瑾，计算机楼404室

助教：待定

Course Schedule

Dates	Lectures	Reading Materials	Homework	Solutions
08/26	Introduction (notes), and Rocq tutorial (Overview, and the Rocq file used for the demo, which can be compiled with Rocq 9.2.0).	You could install Rocq following the instructions on the official website.	—	—
09/02	Mathematical background (notes).	—	—	—
09/09	Lambda calculus (notes).	See Alligator Eggs for Untyped Lambda Calculus for fun.	HW1-lambda.pdf, due by next class (09/16, 10:10 am).	—

作业提交指南

请线下提交纸质作业：请在上课前将上周布置的作业交给梁老师。
不接受迟交。只要按时提交，就能获得该次作业满分。
作业会被抽查批改，请在上课前领取批改后的作业；如果你得到的批改结果是“收到”，说明没有被批改，请对照参考答案自行检查。
请注明姓名与学号。无需抄题，英文或中文都可，手写或打印都可。
禁止使用 AI 生成作业。请向老师展示你的真实情况，而不是让老师批改 AI 的生成结果。

Textbooks and References

Textbooks: lecture notes
References:

Benjamin C. Pierce, et al. Software Foundations
John C. Reynolds. Theories of Programming Languages, Cambridge University Press.
Robert Harper. Practical Foundations for Programming Languages.
Hanne Riis Nielson, Flemming Nielson. Semantics with Applications: A Formal Introduction.
Glynn Winskel. The Formal Semantics of Programming Languages: An Introduction. The MIT Press.
Benjamin C. Pierce. Types and Programming Languages. The MIT Press.

最后更新日期：2026-09-08