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

[Peter Amey <peter.amey@praxis-cs.co.uk>]

"Marc A. Criley" wrote:
> 
> So now scientists at Cornell have come up with a "a new computer
> language designed to avoid unforeseen programming errors".
> 
> How?  "The Cyclone compiler identifies segments of code that could
> eventually cause such problems using a 'type-checking engine'.  This
> does not just look for specific strings of code, but analyses the code's
> purpose and singles out conflicts known to be potentially dangerous."
> 
> The article is at
> http://www.newscientist.com/news/news.jsp?id=ns99991578.
> 
> I'm sure this is not just "C with constraint checking", but still, Ada's
> "type-checking engine" has been getting exercised, optimized, and
> verified for almost 20 years now.
> 

We did feel obliged to contact New Scientist and tell them about Ada and
SPARK.  They seemed interested but we will have to wait and see if
anything comes of it.

Peter