CS 565 Programming Languages, Spring 2000

• Time and Place: Mon, Wed, Fri 2:30-3:20 PM, CS G066.
• Professor: Jens Palsberg, CS 174, palsberg@cs.purdue.edu. Office Hours: stop by any time.
• Teaching Assistant: Jinyan Su, MATH 415, sjy@cs.purdue.edu. Office Hours: Thu 1:30-4:00 PM.
• Lab: CS 257 (Pentium machines running Solaris).
• Lectures: overview graph

  1.	Mon Jan 10, Wed Jan 12, Fri Jan 14, Wed Jan 19, Fri Jan 21, Mon Jan 24: 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.	Wed Feb 2, Fri Feb 4, Mon Feb 7, Mon Feb 14: Interpreters, operational semantics. Read: EOPL Chapter 4, 5, 7, Lecture Note 2.
  3.	Wed Feb 16, Fri Feb 18, Mon Feb 21, Wed Feb 23, Fri Feb 25, Mon Feb 28, Wed Mar 1, Fri Mar 3: 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.	Mon Mar 6, Wed Mar 8, Fri Mar 10: Continuation-passing-style transformation, closure conversion. Read: EOPL Chapters 8.1-8.5, 9.1, 10.1-10.2, Lecture Note 4.
  5.	Fri Mar 24, Mon Mar 27, Wed Mar 29, Fri Mar 31, Mon Apr 3: Flow analysis. Read: OOTS Chapter 3-5, Linear-time subtransitive control flow analysis, Lecture Note 5.
  6.	Wed Apr 5, Mon Apr 10: Secure information flow. Read: Confined types.
  7.	Wed Apr 12, Fri Apr 14, Mon Apr 17: Software obfuscation and watermarking. Read: Manufactoring cheap, resilient, and stealthy opaque constructs and Software Watermarking: Models and Dynamic Embeddings, transparencies.
  8.	Fri Apr 28: Questions and answers.

• Homework, all to be programmed in Java:

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

  Late homework will not be accepted. Electronic submission only, see email message from the TA.
• Midterm exam (30 %): Tue Apr 4, 7-9 pm, PHYS 223. Closed book. Solutions.
• Final exam (30 %): Thu May 4, 8-10 am, SMTH 118. Closed book. Solutions.
• Languages: Java 1.1.8 (documentation, API, Platform, tutorial) and Scheme (documentation, ps).
• Parser generator: The Java Compiler Compiler. Frontend: The Java Tree Builder.
• Readings. Java subsets. Code. Policies. Printing lecture notes. Detecting software plagiarism. How to write unmaintainable code.