From: mcc@entropy.cs.princeton.edu (Martin C. Carlisle)
Subject: Re: c/c++ now safer than Ada. a new tool.
Date: 1999/02/17
Date: 1999-02-17T00:00:00+00:00 [thread overview]
Message-ID: <7af7ri$fsj$1@cnn.Princeton.EDU> (raw)
In-Reply-To: 7af49j$hti@drn.newsguy.com
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.
next prev parent reply other threads:[~1999-02-17 0:00 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-02-17 0:00 c/c++ now safer than Ada. a new tool mike
1999-02-17 0:00 ` Gautier
1999-02-17 0:00 ` Martin C. Carlisle [this message]
1999-02-17 0:00 ` Marin David Condic
1999-02-18 0:00 ` robert_dewar
1999-02-18 0:00 ` Rod Chapman
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox