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-20 04:51:27 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news.tele.dk!small.news.tele.dk!130.133.1.3!fu-berlin.de!uni-berlin.de!213.155.153.242!not-for-mail From: Peter Amey Newsgroups: comp.lang.ada Subject: Re: 'Cyclone', a safer C--reinventing the wheel Date: Tue, 20 Nov 2001 12:51:59 +0000 Organization: Praxis Critical Systems Message-ID: <3BFA51EF.CF344DC7@praxis-cs.co.uk> References: <3BFA4095.8325D016@earthlink.net> NNTP-Posting-Host: 213.155.153.242 Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: fu-berlin.de 1006260679 2018774 213.155.153.242 (16 [69815]) X-Mailer: Mozilla 4.73 [en] (Windows NT 5.0; U) X-Accept-Language: en Xref: archiver1.google.com comp.lang.ada:16716 Date: 2001-11-20T12:51:59+00:00 List-Id: "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