[cap-talk] Stack walking is capability access control?

[David Wagner]

David Wagner wrote:
> It may well be true that every Java program can be translated into
> one that is written in capability style, but that doesn't make Java
> a capability system. 	

Geoffrey Alan Washburn <geoffw at cis.upenn.edu> 
> 	I never claimed it was equivalent to a capability system.  I only was 
> claiming that it can be treated as an instance of a capability system. 
> The text in my proposal, as quoted by Sandro, does unfortunately not 
> clearly articulate this distinction.

I don't follow the distinction you are making.  I would say that Java is
not a capability system, and it is not an instance of a capability system
(whatever that would mean).  Can you explain?  Maybe we are using the
same words but meaning something different by them.