Re: 'Cyclone', a safer C--reinventing the wheel

[Colin_Paul_Gloster@ACM.org (Colin Paul Gloster)]

In article news:slrn9vprfi.440.randhol+abuse@kiuk0156.chembio.ntnu.no
Preben Randhol wrote:
"On Thu, 22 Nov 2001 22:46:02 +1100, IsraelRT wrote:
> 
> Actually the post was by an ignorant and intelelctually lazy idiot who
> had not bothered to find out for himself just what Cyclone consists of
> http://www.cs.cornell.edu/talc/overview.html

What is the connection between Cyclone and Talc?"

From HTTP://WWW.CS.Cornell.edu/talc/related.html :
"Luke Hornof and Trevor Jim have a system for doing
run-time code generation in TAL. Check out Cyclone for details."

From the out of date http://www.cis.upenn.edu/~cyclone/ which
has TAL listed under a related projects heading of "Certifying
Compilation":
"Cyclone was developed in collaboration with Greg Morrisett and the TAL
project at Cornell".

(Current website is http://www.research.att.com/projects/cyclone/ .)

This still does not account for the characterizations in
news:v7ppvt4ctj2vigfgpdk7k9oemmdricip15@4ax.com by
IsraelRT <israelrt@optushome.com.au> . I request that that person
sends a response.