Re: [Lit.] Buffer overruns
From: Xcott Craver (caj_at_B-r-a-i-n-H-z.com)
Date: 12/21/04
- Next message: BRG: "Re: [Lit.] Buffer overruns"
- Previous message: Xcott Craver: "Re: [Lit.] Buffer overruns"
- In reply to: Mok-Kong Shen: "Re: [Lit.] Buffer overruns"
- Next in thread: Mok-Kong Shen: "Re: [Lit.] Buffer overruns"
- Reply: Mok-Kong Shen: "Re: [Lit.] Buffer overruns"
- Reply: Xcott Craver: "Re: [Lit.] Buffer overruns"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Date: Tue, 21 Dec 2004 09:17:08 GMT
Mok-Kong Shen <mok-kong.shen@t-online.de> wrote:
>
>Xcott Craver wrote:
>
>> I believe there is an attempt at type-safe C called Popcorn.
>[snip]
>
>I should appreciate it, if any reader happens to have a literature
>reference to post.
Try, http://www.cs.cornell.edu/talc/papers.html, 3rd paper down to
start.
> I suppose, though, that the type-safe version would severely restrict
> the commonly seen style of programming in C, especially in respect of
> the use of pointers.
IIRC, pointers are still allowed, but not pointer arithmetic, or
pointer casting. Popcorn also has some of the good elements from ML,
such as tuples, e.g. *(int, char[20]) foo = new (305,"John Smith")
and parametric datatypes.
Also: the Cyclone project, another type-safe version of C, is at
http://www.research.att.com/projects/cyclone/
--X
- Next message: BRG: "Re: [Lit.] Buffer overruns"
- Previous message: Xcott Craver: "Re: [Lit.] Buffer overruns"
- In reply to: Mok-Kong Shen: "Re: [Lit.] Buffer overruns"
- Next in thread: Mok-Kong Shen: "Re: [Lit.] Buffer overruns"
- Reply: Mok-Kong Shen: "Re: [Lit.] Buffer overruns"
- Reply: Xcott Craver: "Re: [Lit.] Buffer overruns"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Relevant Pages
|
