From: Matthai Philipose (matthai@intel-research.net)
Date: Wed Dec 04 2002 - 10:19:30 PST
I too was at Josh's final exam.
And I like Jonathan's generalization of Todd's suggestion i.e. ways of dealing with state. I'd like to understand monads once and for all. And I would certainly like to learn more about logics for dealing with state. Not exactly sure how nested transactions relate, but maybe all the more reason to grok that too.
Matthai
-----Original Message-----
From: Jonathan Aldrich [mailto:jonal@cs.washington.edu]
Sent: Tuesday, December 03, 2002 10:51 PM
To: cecil@cs.washington.edu
Subject: seminar topics
Sorry I missed the group meeting on Monday--I went to Josh Redstone's
final exam and forgot to excuse myself.
Todd said you discussed what to do in 590K/590L in the next couple of
quarters. I liked his suggestion of studying separation logic and other
logics for reasoning about state. One could extend this topic to include
unconventional language models for dealing with state--examples include
monads in Haskell, and the nested-transaction model of abstract state
machines.
...
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://mailman.cs.washington.edu/mailman/listinfo/cecil
_______________________________________________
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 Dec 04 2002 - 10:21:46 PST