UCLA CS 239 Programming Languages Winter 2004

• Time and place: Mon, Wed 2:00-3:50pm, MS 6201.
• Professor: Jens Palsberg, 4531K Boelter Hall (palsberg@ucla.edu).
• Teaching assistant: N.V. Krishna, 4810 Boelter Hall (krishna@cs). Office hours: send email to set up an appointment.
• Discussion website.
• Recommended book: Friedman, Wand, and Haynes, Essentials of Programming Languages (EOPL), McGraw-Hill, 1992.
• Recommended paper: Morrisett, Walker, Crary, and Glew, From System F to Typed Assembly Language, ACM TOPLAS 21(3): 527-568 (1999).
• Software.
• Lectures: (slides)

  1.	Mon Jan 12, Wed Jan 14: The Java Compiler Compiler, the visitor pattern, the Java Tree Builder, Scheme. Read: Slides Ch.1-4; EOPL Ch.1-2.
  2.	Wed Jan 21: Interpreters, operational semantics. Read: Slides Ch.5-6; EOPL Chapter 4, 5, 7.
  3.	Mon Jan 26, Wed Jan 28, Mon Feb 2, Wed Feb 4, Mon Feb 9, Wed Feb 11: Type systems, type soundness, decision procedure for subtyping, type inference, principal types, typed assembly languages. Read: Efficient Recursive Subtyping, A Simple Algorithm and Proof for Type Inference, Lecture Note on Types.
  4.	Wed Feb 18, Mon Feb 23, Wed Feb 25: Continuation-passing-style transformation, closure conversion. Read: Slides Ch.7; EOPL Chapters 8.1-8.5, 9.1, 10.1-10.2.
  5.	Mon Mar 1, Wed Mar 3, Wed Mar 10, Mon Mar 15: Flow analysis, type-safe method inlining. Read: Slides Ch.8-9; Type-Safe Method Inlining. Linear-Time Subtransitive Control Flow Analysis,
  6.	Wed Mar 17: Review.

• Homework: (how to submit; grading policies; late homework will not be accepted)

  1.	Java interpreter,	5 %,	assigned Wed Jan 21,	due Wed Feb 4, at Noon.
  2.	Java structural subtyping,	5 %,	assigned Wed Feb 4,	due Wed Feb 11, at Noon.
  3.	Scheme type inference,	10 %,	assigned Wed Feb 11,	due Wed Feb 18, at Noon.
  4.	Java CPS transformer,	15 %,	assigned Wed Feb 18,	due Wed Mar 3, at Noon.
  5.	Java flow-directed inliner,	15 %,	assigned Wed Mar 3,	due Wed Mar 17, at Noon.

• Midterm exam (20 %), solution. Mon Mar 8, 2:00-3:30 pm, in class. Closed book. The midterm exam covers the lecture topics 1-4 and homework 1-4.
• Final exam (30 %). Mon Mar 22, 3:00-5:00 pm, MS 6201 (the lecture room). Closed book.