ICS 535: Theory and Design of Programming Languages

Fall 2016

Class Schedule

Week Topic References Notes Reading Assignment for Next Class
1 Intro. & Course Logistics     [S: Ch1]
Intro. to PL Design [S: Ch1]   [S: 3.1--3.3]
2 Describing Syntax [S: 3.1--3.3]   [S: 3.4]
Static Semantics [S: 3.4]   [H: 1.2]
3 Abstract Syntax and Dynamic Semantics [H: 1.1,1.2]   [P: 1.1, 3.1]
Structural Operational Semantics (SOS) [W: 2.1--2.4] [P: 1.1, 3.1]   [P: 3.2 -- 3.3]
4 Evaluation Semantics [W: 2.6] [P: 3.2, 3.3]   [P: 3.2 -- 3.3]
SOS vs. Evaluation Semantics [W: 2.6] [P: 3.2, 3.3]   [P: 2.2]
5 Structural Induction [W:3.1-3.2,3.4] [P: 2.2] Quiz 1 [MP: 1 -- 3]
Rewriting Semantics and Maude [MB: Ch1 -- Ch7] [MP: 1 -- 3]   [MP: 1 -- 3]
6 Hands-on Maude Session I [MB: Ch1 -- Ch7] [MP: 1 -- 3] Bring your laptops with enough battery charge (and chargers as well)! [MP: 1 -- 3]
Hands-on Maude Session II [MB: Ch1 -- Ch7] [MP: 1 -- 3] Bring your laptops with enough battery charge (and chargers as well)! [MB: Ch1 -- Ch7] [MP: 1 -- 3]
7 Maude "Spec-Fest" [MB: Ch1 -- Ch7] [MP: 1 -- 3] Quiz 2 + Bring your laptops with enough battery charge (and chargers as well)! [W:5.1, 5.2]
Denotational Semantics [W:5.1 -- 5.3]   [Hu:4.1 -- 4.3]
8 (No class)     [Hu:4.1 -- 4.3]
Axiomatic Semantics I [Hu:4.1 -- 4.3] Quiz 3 (on Denotational Semantics) [Hu:4.1 -- 4.3]
9 Axiomatic Semantics II [Hu:4.1 -- 4.3]    
Paper Review Presentations     [L: 1 -- 6]
10 Functional Programming [Hu: Ch1 -- Ch7] Quiz 4 (on Axiomatic Semantics) [L: 1 -- 6]
Haskell Codefest [Hu: Ch1 -- Ch7] Bring your laptops with enough battery charge (and chargers as well)! [Pr: 5.1 -- 5.2]
11 The Untyped Lambda-Calculus [Pr: Ch5]   [Pr: 5.1 -- 5.3]
Semantics of Lambda-Calculus [Pr: Ch5]   [Pr: 5.1 -- 5.3]
12 Evaluation Order [Pr: Ch5]   [Pr: Ch5]
Exercises [Pr: Ch5]   [Pr: 8.1 -- 8.2]
13 Types and Type Systems [Pr: Ch8] Quiz 5 (on the Lambda-Calculus) [Pr: 9.1 -- 9.2]
The Simply Typed Lambda-Calculus [Pr: 9.1 -- 9.3]   [Pr: 23.1 -- 23.3]
14 Polymorphic Lambda-Calculus [Pr: 23.1 -- 23.4]   [Pr: 23.1 -- 23.4]
Exercises [Pr: 23.1 -- 23.4]   [Pr: 23.1 -- 23.4]
15     Quiz 6 (on Types and the Typed Lambda-Calculus)  
       

Acronyms used in the schedule above:

  • S: Sebesta's book
  • H: Hennessy's book
  • W: Winskel's book
  • P: Pitt's notes
  • MP: Maude Primer
  • MB: Maude book
  • HR: Huth and Ryan's book
  • Hu: Hutton's reference book on Haskell
  • L: "Learn You a Haskell for Great Good" tutorial
  • Pr: Pierce's book

Get in touch!

Dr. Musab A. Alturki
King Fahd University of Petroleum and Minerals
P.O. Box 840, Dhahran 31261
Saudi Arabia

Office: +966 3860-7185
Fax: +966 3860-2174
E-mail:
Web: musabalturki.net

Find me on ...