CSC 530 Lecture Slides

CSC 530
Lecture Slides

These are slides as presented in class during lecture. Note that there is no new material in the slides that is not in the more detailed lecture notes in the parent directory. The slides are simply briefer and larger font.

Week 1 -- introduction to the course; introduction to lisp

Week 2 -- discussion of assignment 1; topics from the lisp primer; topics from part 1 of the readings

Week 3 -- a brief review of lambda calculus; introduction to programming language type systems

Week 3, Part 2 -- discussion of assignments 1 and 2; more on type theory

Week 4 -- introduction to the formal semantics of programming languages; introduction to attribute grammars

Week 5 -- more on formal semantics with attribute grammars

Week 6 -- discussion of assignment 3, questions 1 and 2; introduction to denotational semantics

Week 7 -- more on tennent-style denotational semantics

Week 8 (and beginning of week 9) -- wrap up of denotational semantics; introduction to axiomatic semantics

Week 10 (start at end of week 9) -- algebraic semantics