[cap-talk] Memory Safety (was: Midori in The Register)
Jonathan S. Shapiro
shap at eros-os.com
Thu Aug 7 06:58:29 CDT 2008
That's three now. Perhaps I should have made it "Journal of
On Thu, 2008-08-07 at 08:33 +0200, Neal H. Walfield wrote:
> At Wed, 06 Aug 2008 17:40:07 -0400,
> Jonathan S. Shapiro wrote:
> > On Wed, 2008-08-06 at 14:16 -0700, Mike Samuel wrote:
> > > It seems odd for a definition of type safety to depend on the
> > > definition of attacker. Specifically, if Apache contributors are
> > > assumed not to be attackers, does that change whether or not apache is
> > > type-safe.
> > See: Mads Toffe, "Sound and Complete Inference for Systems
> > Programmers". Journal of Functional Programmers, volume 15,
> > Cambridge University Press, 2005.
> > Which gives a comprehensive treatment of this.
> I can't find this reference. I suspect you mean Mads Tofte but that
> does not help much either. I quickly looked at his publication record
> (http://www.itu.dk/people/tofte/publ/publications.pdf) but could not
> find anything from 2005. Moreover, nothing resembled this title.
> cap-talk mailing list
> cap-talk at mail.eros-os.org
More information about the cap-talk