CSC 530
Lectures

• 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 (pdf only) -- discussion of assignment 3, questions 1 and 2; introduction to denotational semantics
  
  
• Week 6, Corrections (pdf only) -- correction to the denotational definition of binary numbers; discussion of alternative denotational definitions
  
  
• Week 7 (pdf only) -- more on tennent-style denotational semantics
  
  
• Week 8, beginning of Week 9 (pdf only) -- wrap up of denotational semantics; introduction to axiomatic semantics
  
  
• End of Week 9, Week 10 -- algebraic semantics
  
  

  ---

  
  
  
• Slides -- lecture slides as presented in class.