[cap-talk] Second ABAC Google talk is now up

[Stiegler, Marc D]

Are you remembering a document David Wagner posted on Cava (now referred
to as Joe-E), which discusses the plan for building an object-cap
verifier/subset for Java? I have no memory of posting a document of this
nature.

--marcs 

> -----Original Message-----
> From: cap-talk-bounces at mail.eros-os.org 
> [mailto:cap-talk-bounces at mail.eros-os.org] On Behalf Of Ian G
> Sent: Monday, July 17, 2006 12:45 PM
> To: General discussions concerning capability systems.
> Subject: Re: [cap-talk] Second ABAC Google talk is now up
> 
> Kenton Varda wrote:
> > On 7/17/06, *David Hopwood* <david.nospam.hopwood at blueyonder.co.uk
> > <mailto:david.nospam.hopwood at blueyonder.co.uk>> wrote:
> > 
> >     That would not adequately distinguish it from other 
> approaches that
> >     happen to
> >     use object-oriented languages (in particular, Java's approach).
> > 
> > 
> > But you can do capabilities in Java (if you prohibit static 
> variables).  
> 
> I think MarcS published a long list of differences between 
> Java and caps about 6-12 months back.  It included much more 
> than just banning statics.
> 
> Maybe an opportune time to repost?
> 
> iang
> _______________________________________________
> cap-talk mailing list
> cap-talk at mail.eros-os.org
> http://www.eros-os.org/mailman/listinfo/cap-talk
>