From: Keunwoo Lee (klee@cs.washington.edu)
Date: Wed Jan 08 2003 - 10:36:54 PST
590L will be meeting biweekly only this quarter. This week will be a
planning meeting, and the next class (since most of us are away at POPL
next week) will be two weeks from today.
We don't have a set topic, but vague themes might be
(1) mechanisms for reasoning about state & side effects and
(2) parameterized modules as fine-grained extensibility mechanisms
(a.k.a. Diesel).
The only paper that we definitely want to read is the separation logic
paper Todd sent out last quarter:
John Reynolds, Separation Logic: A Logic for Shared Mutable Data Structures
ftp://ftp.cs.cmu.edu/user/jcr/seplogic.ps.gz
We'll probably read that for two weeks from today. As for other weeks,
today I'll bring a sign-up sheet for people to pick dates to present
papers, and we'll probably end up picking specific papers for those dates
as we go.
See you in LOW 217 at 3:30 today...
~k
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://mailman.cs.washington.edu/mailman/listinfo/cecil
This archive was generated by hypermail 2.1.5 : Wed Jan 08 2003 - 10:37:06 PST