[cap-talk] Re: Question on web calculus

[Olivier Lefevre]

> When developing a capability-based application, the developer is
> constantly doing exactly this sort of analysis. 

Yes but it is a stretch to label that a "theoretical analysis". And I 
can guarantee you that most developers don't use the LC to reason about 
their programs ;-) Maybe they should but that is another story.

> I built the Waterken Server toolkit to support developing
> capability-based applications. I have built some fairly large,
> security sensitive applications with it. [I showed] code
> fragments to the audience that proved the software implemented
> these guarantees.

Still not a _theoretical_ analysis.

> DARPA Browser + Joe-E

These are clearly capability-based efforts but AFAIK not related to 
Waterken.

Regards,

-- O.L.