CS 565 Programming Languages
Fall 1998

• Time and Place: Tue, Thu 3:00-4:15 PM, CS G066.
• Professor: Jens Palsberg, CS 174, palsberg@cs.purdue.edu. Office Hours: stop by any time.
• Teaching Assistant: Joao Cangussu, CS G064, cangussu@cs.purdue.edu. Office Hours: Mon 5:30-7:00, Wed 11:30-12:30.
• Lab: CS 257 (Pentium machines running Solaris).
• Lectures:

  1.	Tue Aug 25, Thu Aug 27, Tue Sep 1, Thu Sep 3: Object-oriented programming, Java, the Java Compiler Compiler, the Java Tree Builder, functional programming, Scheme. Read: any good book on Java, EOPL Chapters 1-2, Lecture Note 1.
  2.	Tue Sep 8, Thu Sep 10, Tue Sep 15: Interpreters, lambda-calculus. Read: EOPL Chapter 4, 5, 7, Lecture Note 2.
  3.	Thu Sep 17, Tue Sep 22, Thu Sep 24: Simple types, type soundness, recursive types, subtyping, decision procedure for subtyping. Read: Efficient recursive subtyping, Lecture Note 3.
  4.	Tue Sep 29, Thu Oct 1, Tue Oct 6, Thu Oct 8. Continuation-passing-style transformation, closure conversion. Read: EOPL Chapters 8.1-8.5, 9.1, 10.1-10.2, Lecture Note 4.
  5.	Tue Oct 20, Thu Oct 22: Type inference, principal types, first-order unification. Read: A Simple Algorithm and Proof for Type Inference, Lecture Note 5.
  6.	Tue Oct 27, Thu Oct 29, Tue Nov 3, Thu Nov 5: Flow analysis. Read: OOTS Chapter 3-5, Linear-time subtransitive control flow analysis, Lecture Note 6.
  7.	Tue Dec 1, Tue Dec 8: Typed assembly languages. There will not be homework or exam questions about this topic. Read: From System F to Typed Assembly Language, and An overview of Types in Compilation.
  8.	Thu Dec 10: Questions and answers.

• Homework, all to be programmed in Java:

  1.	Java type checker,	4 %,	assigned Thu Aug 27,	due Thu Sep 10, at Noon.
  2.	Java interpreter,	4 %,	assigned Thu Sep 10,	due Thu Sep 24, at Noon.
  3.	Java structural subtyping,	4 %,	assigned Thu Sep 24,	due Thu Oct 8, at Noon.
  4.	Java CPS transformation,	12 %,	assigned Thu Oct 8,	due Thu Oct 29, at Noon.
  5.	Scheme type inference,	4 %,	assigned Thu Oct 29,	due Tue Nov 10, at Noon.
  6.	Java flow-directed inlining,	12 %,	assigned Tue Nov 10,	due Tue Nov 24, at Noon.

  Late homework will not be accepted. Electronic submission only, see email message from the TA.
• Midterm exam (30 %): Wed Oct 21, 1998, 7-9 pm, CIVL 1144. Closed book. Solutions.
• Final exam (30 %): Thu Dec 17, 1998, 7-9 pm, CS G066. Closed book.
• Languages: Java 1.1.6 (documentation, API, Platform, tutorial) and Scheme (documentation, ps).
• Parser generator: The Java Compiler Compiler. Frontend: The Java Tree Builder.
• Readings. MiniJava. Code. Policies. Printing lecture notes. Detecting software plagiarism. How to write unmaintainable code.