CMSC 630 --- Theory of Programming Languages Spring 2007 Announcements

 

     

• 5/03/2007        Review notes for final have been posted
• 5/03/2007        Final will be take-home

. Final may be picked up during regular exam time (10:30—12:30 on Wed. 5/16) from my office

. Final must be returned no later than 12:30 pm on Thurs. 5/17

. Final is open-book and notes, but no collaboration permitted

• 4/30/2007        HW#4 assigned (due last day of class)
• 4/19/2007        Revised notes on CCS (fixing typo in UFI rule) have been posted.
• 4/19/2007        Grading guidelines for projects have been inserted in project description page (scroll to the bottom).
• 4/16/2007        Somewhat revised notes on CCS posted

. Sheets 1-105 same as those posted on 4/12/2007

. Sheets 106-108 new

. Sheets 109-129 same as 106-126 previously

• 4/12/2007        HW#3 assigned (due 4/19/2007)
• 4/12/2007        Note on CCS posted

. Sheets 1-59 same as those distributed by Arnab Ray

• 3/13/2007        Significantly revised notes on CTL model-checking posted

. Sheets 1-31 same as notes posted on 3/08/2007

. Sheets 32-56 are new

• 3/08/2007        Significantly revised notes on CTL model-checking posted

. Sheets 1-14 same as notes posted on 3/06/2007

. Sheets 15-31 are new

• 3/06/2007        HW #2 assigned
• 3/06/2007        Notes on CTL model-checking posted; slight revision to branching-time notes posted
• 3/01/2007        Slight revision to notes on branching-time logic posted
• 2/27/2007        Notes on branching-time temporal logic posted
• 2/20/2007        Project suggestions posted.
• 2/20/2007        Notes on (linear-time) temporal logic posted
• 2/15/2007        Revised notes on Owicki-Gries posted.
• 2/13/2007        HW #1 assigned.
• 2/13/2007        Class canceled today due to university closure.