CS 565 Programming Languages, Spring 2001

• Time and Place: Tue, Thu 4:30-5:45 PM, CS G066.
• Professor: Jens Palsberg, CS 222, palsberg@cs.purdue.edu. Office Hours: stop by any time.
• Teaching Assistant: Joao Cangussu, CS G64. cangussu@cs.purdue.edu. Office Hours: stop by any time.
• Lab: CS 257 (Pentium machines running Solaris).
• Lectures: overview graph

  1.	Thu Jan 11, Tue Jan 16, Thu Jan 18, Tue Jan 30: 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.	Thu Feb 1, Tue Feb 6, Thu Feb 8: Interpreters, operational semantics. Read: EOPL Chapter 4, 5, 7, Lecture Note 2.
  3.	Tue Feb 13, Thu Feb 15, Tue Feb 20, Thu Feb 22, Tue Feb 27, Thu Mar 1: 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, From System F to Typed Assembly Language (Sect. 1,6). Lecture Note 3.
  4.	Tue Mar 6, Thu Mar 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 Mar 20, Thu Mar 22, Tue Mar 27, Thu Mar 29: Flow analysis. Read: OOTS Chapter 3-5, Linear-time subtransitive control flow analysis, Lecture Note 5.
  6.	Tue Apr 3, Thu Apr 5: Secure information flow. Read: Confined types, Slides. Slides on the OVM. OVM.tar. OVM tips.
  7.	Tue Apr 10, Thu Apr 12: Software obfuscation and watermarking. Read: Manufactoring cheap, resilient, and stealthy opaque constructs, Software Watermarking: Models and Dynamic Embeddings, and Experience with Software Watermarking.
  8.	Thu Apr 26: Questions and answers.

• Homework, all to be programmed in Java: (how to submit)

  1.	Java simplifier,	4 %,	assigned Wed Jan 17,	due Wed Feb 7, at Noon.
  2.	Java interpreter,	4 %,	assigned Wed Feb 7,	due Wed Feb 21, at Noon.
  3.	Java structural subtyping,	2 %,	assigned Wed Feb 21,	due Wed Feb 28, at Noon.
  4.	Scheme type inference,	4 %,	assigned Wed Feb 28,	due Wed Mar 14, at Noon.
  5.	Java CPS transformer,	8 %,	assigned Wed Mar 14,	due Wed Mar 28, at Noon.
  6.	Java flow-directed inliner,	8 %,	assigned Wed Mar 28,	due Wed Apr 11, at Noon.
  7.	Java security checker,	10 %,	assigned Wed Apr 11,	due Wed Apr 25, at Noon.

  Late homework will not be accepted. Electronic submission only, see email message from the TA.
• Midterm exam (30 %): Wed Apr 4, 7-9 pm, UNIV 303. Closed book. Solution.
• Final exam (30 %): Wed May 2, 8-10 am, CS G066. Closed book.
• Languages: Java 1.1.8 (documentation, API, Platform, tutorial) and Scheme (documentation, ps).
• Parser generator: The Java Compiler Compiler. Frontend: The Java Tree Builder. Using JTB/GJ. Skeleton Main.java.
• Readings. Java subsets. Code. Policies. Printing lecture notes. Detecting software plagiarism. How to write unmaintainable code.