[bitc-dev] [Fwd: Lightweight static capabilities]

[Mark S. Miller]

It strikes me that Oleg's way of modularizing proof obligations may be quite 
useful for the BitC & Coyotos efforts.

As Oleg says, any help, especially regarding formal claims, would be greatly
appreciated.

-------- Original Message --------
Subject: Lightweight static capabilities
Date: Sun,  9 Jul 2006 18:18:30 -0700 (PDT)
From: oleg -at- pobox.com


Hello!

	I'd like to point out the full version of the paper whose raw
draft you have seen already:

   http://pobox.com/~oleg/ftp/papers/lightweight-static-capabilities.pdf

The paper was submitted to the programming languages and program
verification workshop (part of a large federated logic conference, in
mid-August in Seattle). The reviewers disliked the lack of any formal
claims; yet they recommended the acceptance anyway. We need to do
something about the formal side.

	Ken and I are revising the paper (the deadline is Jul 18, in a
week). Therefore, any comments are very appreciated. If you think it's
worth letting other people know about the paper or mentioning the
paper on the E-list, please feel free to do so.

	Cheers,
	Oleg