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