Theories of Programming Languages

Fall 2012, University of Science and Technology of China

Preliminary Syllabus

No. Content
1 Introduction, Lambda Calculus
2Mathematical Background, Inductive definitions, predicate logic, and tutorial on Coq
3A simple imperative language, denotational semantics
4Operational semantics
5Axiomatic semantics
6Shared-Variable Concurrency
7Functional Languages - I
8Functional Languages - II
9Type systems - I
10More on Type systems, Modules
11Pointer programs and separation logic
12Concurrency verification
13Process calculus
14Advanced topics - I
15Advanced topics - II

back