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=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,3ef3e78eacf6f938 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news4.google.com!feeder.news-service.com!188.40.43.213.MISMATCH!feeder.eternal-september.org!eternal-september.org!not-for-mail From: Colin Paul Gloster Newsgroups: comp.lang.eiffel,comp.lang.ada Subject: Re: Alternatives to C: ObjectPascal, Eiffel, Ada or Modula-3? Date: Wed, 22 Jul 2009 14:10:01 +0000 Organization: A noiseless patient Spider Message-ID: References: <4a65eff6$0$30235$9b4e6d93@newsspool1.arcor-online.net> Reply-To: Colin Paul Gloster Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: news.eternal-september.org U2FsdGVkX1/r9KPLXNNBkEXLc2yp/l+x4KkJlPBr6o2wg4KNb7EVumPC/3yg4zwe8/oeuA5Wcq3kZgppMZtmXahxsEBQjeG1t6tNPMQAiC0bk8uI+f+9oMP5VkbtA4OBUG8JupWFvbvkau1twE+nrhSehH8kk1br X-Complaints-To: abuse@eternal-september.org NNTP-Posting-Date: Wed, 22 Jul 2009 13:09:22 +0000 (UTC) In-Reply-To: X-Auth-Sender: U2FsdGVkX1+IOTvyaokGARM3gwLePEuROapYN31tCilhVWGdmE5G3YshB9FHarrwt6YbLBtOHoA= Cancel-Lock: sha1:lz8D7Ql9suwBpsh8Bbs6kVQomm0= X-X-Sender: Colin_Paul@Bluewhite64.example.net User-Agent: Alpine 2.00 (LNX 1167 2008-08-23) Xref: g2news2.google.com comp.lang.eiffel:391 comp.lang.ada:7272 Date: 2009-07-22T14:10:01+00:00 List-Id: On Tue, 21 Jul 2009, Cesar Rabak wrote: |------------------------------------------------------------------------------| |"[..] | | | |Yes, but this is subject to another thread. But before you get too much hope, | |remember an int overflow did blow an Arianne rocket..." | |------------------------------------------------------------------------------| An Ariane 5 rocket which was running flawless software for an Ariane 4 rocket which was misapplied to the Ariane 5 by a manager despite objections from the software developers. Furthermore, Ada could have had an exception handler there, but it has not yet proven to be necessary for an Ariane 4. |------------------------------------------------------------------------------| |"[..] | | | |As I mentioned in this thread, the error about measurement systems that costed| |NASA a Mars mission was coded in type safe system's language, wasn't it? | | | |[..]" | |------------------------------------------------------------------------------| I do not know. Some hints... FORTRAN influence: Robert B. Love Subject: Re: Loss of Mars Climate Orbiter due to units of measurment conflicts Date: 1999/10/02 Message-ID: <6C26F727ACB69543.66B23092D324DEF8.14EA2C28DF27855B@lp.airnews.net>#1/1 comp.lang.ada (and Ada advocacy: Michel DELARCHE Subject: Re: Loss of Mars Climate Orbiter due to units of measurment conflicts Date: 1999/10/02 Message-ID: <37F64C20.1A05BCF3@cybercable.fr>#1/1 ) and Lockheed Martin did not adhere to contracted units: Michel DELARCHE Subject: Re: Loss of Mars Climate Orbiter due to units of measurment conflicts Date: 1999/10/02 Message-ID: <37F648AE.566C2BB8@cybercable.fr>#1/1