From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,beb0b7471c6440e3
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-11-22 03:43:01 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!news1.optus.net.au!optus!spool01.syd.optusnet.com.au!spool.optusnet.com.au!210.49.20.93.MISMATCH!not-for-mail
From: IsraelRT <israelrt@optushome.com.au>
Newsgroups: comp.lang.ada
Subject: Re: 'Cyclone', a safer C--reinventing the wheel
Date: Thu, 22 Nov 2001 22:42:49 +1100
Message-ID: <84ppvtsf6o52hstru99lv6rgs160oicoo3@4ax.com>
References: <3BFA4095.8325D016@earthlink.net>
X-Newsreader: Forte Agent
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
NNTP-Posting-Host: 203.164.144.6
X-Trace: 1006429370  10228 203.164.144.6
Xref: archiver1.google.com comp.lang.ada:16849
Date: 2001-11-22T22:42:49+11:00
List-Id: <comp.lang.ada>

On Tue, 20 Nov 2001 12:36:41 GMT, "Marc A. Criley"
<mcqada@earthlink.net> 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.

Relying on New Scientist can be dangerous...

Check http://www.cs.cornell.edu/talc/overview.html for the real
information on typed target languages.