Re: Comments requested on paper: functional purity in Joe-E

Just skimming the paper at the moment. I noticed this in Section 7.5:

"but was designed and implementing following object-capability principles"

Should be "implemented".

Sandro

Adrian Mettler wrote:
> 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
> 
> 
> 
> _______________________________________________
> e-lang mailing list
> [email protected]
> http://www.eros-os.org/mailman/listinfo/e-lang