From: Marin David Condic <condicma@bogon.pwfl.com>
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: <36CB3D0C.F01D3CD@pwfl.com> (raw)
In-Reply-To: 7af7ri$fsj$1@cnn.Princeton.EDU
Martin C. Carlisle wrote:
> 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.
>
So someone has figured out how to implement the "Don't do as I say, do
as I mean!" instruction in C/C++ - this has got to be written up in some
important AI journal - or maybe the Journal Of Irreproducible Results.
At best, a tool like this can only spot some of the more common errors
and give you some kind of warning about it. If a statement is legal in a
language, how can the machine know that it isn't precisely what I
intended?
What was that rule I used to know? "A _________ and his ___________ are
soon parted" :-)
MDC
--
Marin David Condic
Real Time & Embedded Systems, Propulsion Systems Analysis
United Technologies, Pratt & Whitney, Large Military Engines
M/S 731-95, P.O.B. 109600, West Palm Beach, FL, 33410-9600
Ph: 561.796.8997 Fx: 561.796.4669
***To reply, remove "bogon" from the domain name.***
"Crime does not pay ... as well as politics."
-- A. E. Newman
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
1999-02-17 0:00 ` Marin David Condic [this message]
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