From: IsraelRT <israelrt@optushome.com.au>
Subject: Re: 'Cyclone', a safer C--reinventing the wheel
Date: Thu, 22 Nov 2001 22:42:49 +1100
Date: 2001-11-22T22:42:49+11:00 [thread overview]
Message-ID: <84ppvtsf6o52hstru99lv6rgs160oicoo3@4ax.com> (raw)
In-Reply-To: 3BFA4095.8325D016@earthlink.net
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.
next prev parent reply other threads:[~2001-11-22 11:42 UTC|newest]
Thread overview: 46+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-11-20 12:36 'Cyclone', a safer C--reinventing the wheel Marc A. Criley
2001-11-20 12:51 ` Peter Amey
2001-11-20 14:45 ` Marin David Condic
2001-11-20 15:31 ` Florian Weimer
2001-11-20 16:22 ` Marin David Condic
2001-11-20 16:47 ` Wes Groleau
2001-11-20 16:30 ` chris.danx
2001-11-20 16:54 ` Wes Groleau
2001-11-20 19:49 ` chris.danx
2001-11-20 21:28 ` Wes Groleau
2001-11-20 22:36 ` Marin David Condic
2001-11-21 9:20 ` Ehud Lamm
2001-11-22 0:32 ` chris.danx
2001-11-22 7:57 ` AG
2001-11-21 12:46 ` Marc A. Criley
2001-11-22 11:46 ` IsraelRT
2001-11-22 12:24 ` Preben Randhol
2001-11-23 9:19 ` Colin Paul Gloster
2001-11-22 16:06 ` chris.danx
2001-11-20 17:18 ` Pascal Obry
2001-11-20 22:21 ` Jeffrey Carter
2001-11-21 14:27 ` Marin David Condic
2001-11-22 9:27 ` chris.danx
2001-11-22 21:41 ` Jeffrey Carter
2001-11-20 17:09 ` Brian Rogoff
2001-11-21 1:50 ` Mike Silva
2001-11-21 22:47 ` Brian Rogoff
2001-11-22 0:00 ` Mark Lundquist
2001-11-22 0:42 ` Brian Rogoff
2001-11-26 10:42 ` Mark Lundquist
2001-11-27 8:28 ` Dmitry A. Kazakov
2001-11-27 15:21 ` Mark Lundquist
2001-11-27 16:51 ` Brian Rogoff
2001-11-28 18:23 ` Mark Lundquist
2001-12-24 15:17 ` Dmitry A. Kazakov
2001-11-23 6:46 ` Mike Silva
2001-11-23 7:13 ` Brian Rogoff
2001-11-22 11:42 ` IsraelRT [this message]
2001-11-22 13:45 ` Marc A. Criley
2001-11-22 17:24 ` Brian Rogoff
2001-11-23 14:53 ` Marc A. Criley
-- strict thread matches above, loose matches on Subject: below --
2001-11-20 18:37 Gautier Write-only-address
2001-11-20 23:29 Gautier Write-only-address
2001-11-21 15:30 ` Wes Groleau
2001-11-22 13:33 Gautier Write-only-address
2001-11-22 17:04 ` James Rogers
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox