[Fwd: next week in 590k]


Subject: [Fwd: next week in 590k]
From: Craig Chambers (chambers@cs.washington.edu)
Date: Wed Feb 06 2002 - 16:57:14 PST


Once again we read a paper by a faculty applicant....

Maybe everyone is a faculty applicant this year.

-- Craig

Todd D Millstein wrote:
>
> Next week we'll read
>
> Cormac Flanagan and Shaz Qadeer. Predicate abstraction for software
> verification. POPL 2002.
>
> It's available from
>
> http://www.research.compaq.com/SRC/personal/qadeer/docs/popl02.pa.ps
>
> or from the 590k home page
>
> http://www.cs.washington.edu/education/courses/590k/CurrentQtr/
>
> Todd
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil



This archive was generated by hypermail 2b25 : Wed Feb 06 2002 - 16:58:07 PST