[e-lang] Comments requested on paper: functional purity in Joe-E

[Adrian Mettler]

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


-------------- next part --------------
A non-text attachment was scrubbed...
Name: purecomp.pdf
Type: application/pdf
Size: 202020 bytes
Desc: not available
Url : http://www.eros-os.org/pipermail/e-lang/attachments/20080529/cbda66f9/attachment-0001.pdf