Comments requested on paper: functional purity in Joe-E

Resending with URL instead of attachment, as it appears moderator 
approval isn't happening:
http://www.cs.berkeley.edu/~amettler/purecomp.pdf

-

David Wagner and I have recently submitted our first paper relating to
our work on Joe-E, an object-capability subset of Java.  It focuses on a
simple pattern that ensures that a method is side-effect free and
behaves as a deterministic function of its arguments (i.e. invocations
with equivalent arguments will yield equivalent return values) and how
this property can be used to verify security properties.  We would be
interested in comments from more people in order to improve the paper.
There's a fair amount of time before any camera ready would be due (it's
still a while before committee decision comes back).

Thanks,
Adrian