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,start X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-11-20 04:49:52 PST Path: archiver1.google.com!news2.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed1.earthlink.net!newsfeed.earthlink.net!newsmaster1.prod.itd.earthlink.net!newsread2.prod.itd.earthlink.net.POSTED!not-for-mail Message-ID: <3BFA4095.8325D016@earthlink.net> From: "Marc A. Criley" Organization: Quadrus Corporation X-Mailer: Mozilla 4.73 [en] (X11; U; Linux 2.2.14-5.0 i686) X-Accept-Language: en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: 'Cyclone', a safer C--reinventing the wheel Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Date: Tue, 20 Nov 2001 12:36:41 GMT NNTP-Posting-Host: 158.252.123.119 X-Complaints-To: abuse@earthlink.net X-Trace: newsread2.prod.itd.earthlink.net 1006259801 158.252.123.119 (Tue, 20 Nov 2001 04:36:41 PST) NNTP-Posting-Date: Tue, 20 Nov 2001 04:36:41 PST X-Received-Date: Tue, 20 Nov 2001 04:32:30 PST (newsmaster1.prod.itd.earthlink.net) Xref: archiver1.google.com comp.lang.ada:16712 Date: 2001-11-20T12:36:41+00:00 List-Id: 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