[bitc-dev] [Fwd: Lightweight static capabilities]
Mark S. Miller
markm at cs.jhu.edu
Sun Jul 9 23:30:59 EDT 2006
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
-------- Original Message --------
Subject: Lightweight static capabilities
Date: Sun, 9 Jul 2006 18:18:30 -0700 (PDT)
From: oleg -at- pobox.com
I'd like to point out the full version of the paper whose raw
draft you have seen already:
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.
More information about the bitc-dev