Fundamentals of Programming Languages (X037515)

Winter Semester 2017/2018

to master students, school of software

Yuwei WANG: wangyuwei95 (AT) qq (DOT) com

8:00am - 10:45am every Wednesday

Chen Rui Qiu 311

Tue. 14:00-17:00 at 3203 Building of Software

Sep. 20

Lecture 1. Introduction and logic basics.

[handout]

Sep. 27

Lecture 2. Model checking.

[handout]

Oct. 4

**Mid-Autumn Day!**

Oct. 11

Lecture 3. Finite automata and Buchi automata.

[handout]

Oct. 18

Lecture 4. LTL model checking.

[handout]

Oct. 25

Lecture 5. Abstract interpretation I.

[handout]

Nov. 1

Lecture 5. Abstract interpretation II.

[handout]

Nov. 8

Lecture 6. Pushdown automata and interprocedural programs.

[handout]

Nov. 15

Exercise I.

Nov. 22

Lecture 7. Programming semantics I.

[handout]

Nov. 29

Lecture 7. Programming semantics II.

[handout]

Dec. 6

Lecture 8. Lambda calculus and types I.

[handout]

Dec. 13

Lecture 8. Lambda calculus and types II.

[handout]

Dec. 20

Exercise II.

Dec. 27

Lecture 9. Conclusions.

[handout]

Fundamentals of Programming Languages

by Evan Chang @ University of Colorado Boulder

Principles of Programming Languages

by Sam Staton @ Oxford

Foundations of Programming Languages

by Robert Simmons @ CMU

Principles of Programming Languages

by Hongwei Xi @ Boston U.

Introduction to Programming Languages Theory

by anonymous @ Standford

Assignment 1, *deadline: Oct. 18*

Assignment 2, *deadline: Nov. 15*

Assignment 3, *deadline: Nov. 29*

Assignment 4, *deadline: Dec. 20*

Report 1. Probabilistic model checking (3/3)

Report 2. Stochastic model checking (3/3)

Report 3. Model checking in a specific field (5/5)

Report 4. Antichain for Universality, subset of automata (0/3)

Report 5. Bounded model checking for LTL (3/3)

Report 6. Algorithms for widening and narrowing (3/3)

Report 7. An interprocedural program analysis methodology other than PDS (2/3)

Report 8. Semantics and Key Properties of CCS (1/3)

Report 9. Semantics and Key Properties of CSP (2/3)

Report 10. State system F, a type system (0/3)

*Guoqiang Li
*