[e-lang] [Fwd: Lightweight static capabilities]

[Mark S. Miller]

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
Reply-To: oleg at pobox.com
To: markm at cs.jhu.edu


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



-- 
Text by me above is hereby placed in the public domain

     Cheers,
     --MarkM