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.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail
From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?=
 =?utf-8?Q?=29?=
 <yannick_duchene@yahoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: Heartbleed
Date: Sat, 12 Apr 2014 22:29:09 +0200
Organization: Ada @ Home
Message-ID: <op.xd70ivweule2fv@cardamome>
References: <1ljwj8f.1wqbhvuabsdw1N%csampson@inetworld.net>
 <51c7d6d4-e3be-44d5-a4ce-f7e875345588@googlegroups.com>
 <li9g34$9q8$1@dont-email.me> <%J32v.70539$kp1.45343@fx14.iad>
 <liap70$ckq$1@speranza.aioe.org>
 <87mwfq4vvj.fsf@kuiper.lan.informatimago.com>
 <libmkh$mn6$1@speranza.aioe.org>
 <87ioqe4brz.fsf@kuiper.lan.informatimago.com>
NNTP-Posting-Host: aj6W7pNyVjZwdnARGbUbeg.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes
Content-Transfer-Encoding: Quoted-Printable
X-Complaints-To: abuse@aioe.org
User-Agent: Opera Mail/12.16 (Linux)
X-Notice: Filtered by postfilter v. 0.8.2
Xref: news.eternal-september.org comp.lang.ada:19279
Date: 2014-04-12T22:29:09+02:00
List-Id: <comp.lang.ada>

Le Sat, 12 Apr 2014 20:56:32 +0200, Pascal J. Bourguignon  =

<pjb@informatimago.com> a =C3=A9crit:
> IIRC, Ariane 5 software was written in Ada.
> http://www.di.unito.it/~damiani/ariane5rep.html
> In a language like lisp or python, the arithmetic operations that can'=
t
> produce fixnums automatically produce bignums, and all the code will
> automatically handle bignums once the magnitudes require them.

It also has to be predictable, and bignums may not be.

Also about Ariane 5' flight 501, failure was more due by bypassed requir=
ed  =

re=E2=80=91validation than due to Ada: new more powerful engine, however=
 same  =

software without re=E2=80=91validation=E2=80=A6 it had to be wrong with =
an overflow sooner  =

or later.


-- =

=E2=80=9CSyntactic sugar causes cancer of the semi-colons.=E2=80=9D [1]
=E2=80=9CStructured Programming supports the law of the excluded muddle.=
=E2=80=9D [1]
[1]: Epigrams on Programming =E2=80=94 Alan J. =E2=80=94 P. Yale Univers=
ity