14-apr-04 Slides for the entire Java lectures are available.
    4-apr-04 Slides for the Java lecture are available. Assignment 7 has been posted.
    4-mar-04 Assignment 6 has been updated, the deadline is next Thursday, with the usual two days late policy extending on to Sunday (really). Check the schedule page.
    3-mar-04

    Update to the results page for Assignment 3.

    Update to the schedule page to schedule the AspectJ digression.

    Update to the hand out page: AspectJ slides.

    Info: the midterm will be open book.

     

  • 26-feb-04: New handouts: ML, RTSJ, ...
  • 17-feb-04: Notice a schedule change for A5.
  • 16-feb-04: Real-time Java lecture by David Holmes will be on Tuesday.

  • 9-feb-04: Thanks to Jeff for catching some typos in the scheme latex sources.

  • 8-feb-04: Assignment 3: Question 3.15 is option for extra credit.
  • 8-feb-04: Scheme latex source are available.
  • 8-feb-04: A mailing list for the class has been set as 456@cs.purdue.edu
  • 3-feb-04: Assignment 3 posted on the schedule page. A3 is a paper assignment, answers are to be returned in class the following Tuesday. A4 is programming assignments, the questions are posted on the schedule page -- you can start early if you wish.
  • 3-feb-04: A new results page has been added.

  • 30-jan-04: Assignment 2 consists of the following questions from the text: 2.13, 2.1, 3.4. It is due next week on Tuesday. (All assignments are posted on the schedule page, unless explicitly indicated)
  • 29-jan-04: Updated the schedule (no more midterms during spring break). Please note that the assignments may change until the date they are released.
  • 27-jan-04: Notice changes in the assignment statement.
  • 26-jan-04: Assignment turnin should be done via email to jv@cs and in class for hand written material.
  • 24-jan-04: Clarification: Question 16 in assignment does not require an implementation. Disregard the assignment handout mention of a tar file.
  • 22-jan-04: greek alphabet table
  • 21-jan-04: latex source code for the semantics
    •