From: "Marc A. Criley" <mcqada@earthlink.net>
Subject: 'Cyclone', a safer C--reinventing the wheel
Date: Tue, 20 Nov 2001 12:36:41 GMT
Date: 2001-11-20T12:36:41+00:00 [thread overview]
Message-ID: <3BFA4095.8325D016@earthlink.net> (raw)
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.
You just shake your head sometimes...
Marc A. Criley
Senior Staff Engineer
Quadrus Corporation
www.quadruscorp.com
next reply other threads:[~2001-11-20 12:36 UTC|newest]
Thread overview: 46+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-11-20 12:36 Marc A. Criley [this message]
2001-11-20 12:51 ` 'Cyclone', a safer C--reinventing the wheel 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
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