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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,2c0fbdd9804eddab
X-Google-Attributes: gid103376,public
From: mcc@entropy.cs.princeton.edu (Martin C. Carlisle)
Subject: Re: c/c++ now safer than Ada. a new tool.
Date: 1999/02/17
Message-ID: <7af7ri$fsj$1@cnn.Princeton.EDU>#1/1
X-Deja-AN: 445436165
References: <7af49j$hti@drn.newsguy.com>
Organization: US Air Force Academy, Dept of Computer Science
Newsgroups: comp.lang.ada
Date: 1999-02-17T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <7af49j$hti@drn.newsguy.com>,  <mike@beenthere.nospam.com> wrote:
>The software is an automatic code reviewer.
>The client plugs their source code into their software
>and it will create a database that shows you what bugs
>you have and prioritizes them."

Now I've heard everything.  You ask "who needs Ada?"  Who needs anything?
It obviously can read my mind to know what the code is supposed to be
doing.

Even C/C++ and a lint tool together could *at best* approximate Ada's
type safety.  

--Martin

-- 
Martin C. Carlisle, Asst Prof of Computer Science, US Air Force Academy
mcc@cs.usafa.af.mil, http://www.usafa.af.mil/dfcs/bios/carlisle.html
DISCLAIMER:  This content in no way reflects the opinions, standards or 
policy of the US Air Force Academy or the United States Government.