Formal Semantics of Programming Languages
Fall 2018, Nanjing University
Course Information
Meeting time and classroom
Meeting time:
Classroom:
Office Hours:
Friday, 10:10am - 12:00pm
I-204, Xianlin Campus
Thursday, 7:00pm - 9:00pm, or by appointment
Instructor and TA
Instructor:
Xinyu Feng
TA:
DING, Chao
Textbooks and References
Textbooks: lecture notes and handouts
References:
Benjamin C. Pierce, et al.
Software Foundations
John C. Reynolds. Theories of Programming Languages, Cambridge University Press.
Hanne Riis Nielson, Flemming Nielson.
Semantics with Applications: A Formal Introduction
.
Robert Harper.
Practical Foundations for Programming Languages
. (The online
abridged preview edition
)
back
