[cap-talk] Memory Safety (was: Midori in The Register)

[Neal H. Walfield]

At Thu, 07 Aug 2008 07:58:29 -0400,
Jonathan S. Shapiro wrote:
> 
> Gotcha.
> 
> That's three now. Perhaps I should have made it "Journal of
> Irrecomputable Results". 

I'm a bit confused by this reply.  I wasn't trying to be nitpick; I am
seriously interested in reading the paper that you mentioned but I
cannot find it.

Neal


> 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.
> > 
> > Neal