Announcements

• 5/7/2003: Solutions for final exam

• 5/1/2003: Here is a link to Saraswat's paper on Java type safety.

• 4/28/2003: My solution to the bytecode interpreter assignment.

• 4/18/2003: Grades have been updated.

• 4/14/2003: Ideas for exam questions

• 4/11/2003: Student evaluations are available:

          Under "QuizSite", choose STUDENTS
          From the drop-down box, choose/instructor to be evaluated
                  (example: CSCI-A123-InstructorName)
          Click PROCEED
          Check "DO A CURRENT ACTIVITY" (Should say "Evaluation")
          Click PROCEED
          Evaluation for requested instructor should be displayed
          Answer Questions
          To submit completed evaluation, click PROCEED at bottom of page
          Wait
          If student has multiple CS courses or course instructors, they
          will be enabled at that time to click SELECT ANOTHER COURSE button
  
          *NOTE - Students are allowed a max 5 attempts to complete each
          evaluation.  (They will be enabled to open each individual
          evaluation 5 times, whether or not they make any additions or
          changes.)
  

• 4/11/2003: Regarding the bytecode interpreter, please ignore the instruction "super" and modify the label of the jump subroutine instruction to be an Int rather than a String. I had also forgotten to include the "IF" instruction. Here is the updated instruction set:

  data Instruction = 
    Push Int
  | Inc
  | Pop
  | If Int           -- Added April 11, 2003; should have been there all along
  | Store Int
  | Load Int
  | New String
  -- | Super String  -- Deleted April 7, 2003
  | Init String
  | Use String
  -- | Jsr String    -- Replaced April 7, 2003; see next line
  | Jsr Int
  | Ret Int
  | Halt
  

• 4/9/2003: Grades have been updated. I have used the following guidelines: if you have proved some reasonable lemmas on your own your score is 25/30. If you finished the proof or came close your grade is 30/30.

• 4/1/2003: The last two assignments have been posted. Expect more details as we proceed but please start looking at the cited paper in some detail.

• 3/26/2003: Here is my solution to the Twelf proof.

• 3/25/2003 (6:50 PM): Here is the Twelf file with the hints discussed in class.

• 3/21/2003: Due to current events, I have to cancel my office hours on Monday. (I have a meeting with the Mayor and then there are several things that I need to coordinate.)

• 3/13/2003: np.elf used in class today. This is the beginning of your assignment.

• 3/12/2003: I will have to go to a meeting at 2:30 today so the second half of my office hours is cancelled. I apologize for the short notice.

• 3/11/2003: intro.elf used in class today.

• 3/10/2003: Grades have been updated.

• 3/10/2003: I have sent each of you an email with your grade and some comments. I sent some of the emails to @indiana.edu and some to @cs.indiana.edu. I apologize for this. Please check both your email accounts.

• 3/10/2003: Solution for trustful interpreter

• 2/25/2003: Grades have been updated.

• 2/25/2003: Assignment 5 has been posted.

• 2/25/2003: Regarding the choice between a final exam and a project: the final exam (12:30-2:30 Tue May 6) will be the default; students who wish to do a project instead should contact me with a project proposal before March 13.

• 2/21/2003: Assignment 3 stated the type safety theorem without the progress property. Please state and prove the progress property too.

• 2/14/2003: My solutions to Assignment 2 and Assignment 3.

• 2/4/2003: I will not have office hours on 2/11 at 10:00. I should be in later in the day so feel free to stop by later if you have questions.

• 2/4/2003: Here are the notes on MinML type system and semantics (Postscript, PDF)

• 2/4/2003: Assignment 2 is due on 2/13 at the same time as Assignment 3.

• 1/27/2003: Assignment 1 grades have been posted.

• 1/27/2003: Assignment 2 has been posted.

• 1/23/2003: My solution to Assignment 1.

• 1/23/2003: Office hours: Mo 10-11, Tu 10-11, We 2-3. You are welcome to stop at other times if I am in my office.

• 1/23/2003: Asmgofer code from today's lecture.

• 1/23/2003: For information on abstract state machines, consult this page. There is also a one-hour lecture by Yuri Gurevich available from the Microsoft website. Naturally if you use Netscape to follow this link, it will crash. Opera just hangs. Only one other browser seems to work fine, by pure coincidence.

• 1/23/2003: For information on AsmGofer, consult this page.

• 1/23/2003: Amsgofer is installed locally in /l/asmgofer. The executable is /l/asmgofer/Bin/asmgofer.

• 1/14/2003: Java security files

• 1/14/2003: Link to Spring 2002 class

• 1/14/2003: Amr is going to be at a conference from Tuesday 1/14 to Friday 1/17. There will be no class on Thursday 1/16.

• 1/7/2003: Welcome to B522.