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.6 required=5.0 tests=BAYES_05,INVALID_MSGID, REPLYTO_WITHOUT_TO_CC 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: Marin David Condic Subject: Re: c/c++ now safer than Ada. a new tool. Date: 1999/02/17 Message-ID: <36CB3D0C.F01D3CD@pwfl.com>#1/1 X-Deja-AN: 445473227 Content-Transfer-Encoding: 7bit Sender: condicma@bogon.pwfl.com References: <7af49j$hti@drn.newsguy.com> <7af7ri$fsj$1@cnn.Princeton.EDU> Content-Type: text/plain; charset=us-ascii Organization: Pratt & Whitney Mime-Version: 1.0 Reply-To: diespammer@pwfl.com Newsgroups: comp.lang.ada Date: 1999-02-17T00:00:00+00:00 List-Id: 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