[cap-talk] Worst-case object-capability language retrofitting

David-Sarah Hopwood david.hopwood at industrial-designers.co.uk
Sun Sep 14 19:48:09 CDT 2008


David-Sarah Hopwood wrote:
> [...] Fail-Safe C
> <https://staff.aist.go.jp/y.oiwa/FailSafeC/index-en.html>),

The PhD thesis describing this work is linked only rather
indirectly from that page; it's at
<https://staff.aist.go.jp/y.oiwa/publications/2005-PhDthesis.pdf>.

-- 
David-Sarah Hopwood


More information about the cap-talk mailing list