"Yannick Duch�ne (Hibou57)" <yannick_duchene@yahoo.fr> wrote in message 
news:op.wderwrjxule2fv@douda-yannick...
...
>> Not sure what you mean by this; Ada has always had that policy. Indeed,
>> there was a formal proof for Ada 95 that there were no Beaujolias effects
>> (which is essentially the same thing).
>Formal proof? Or did you mean strong certitudes?

During the Ada 9x project, there was a "formal methods" team that was 
supposed to apply formal analysis to what became Ada 95. Their big "product" 
was a formal proof that there no Beaujolias effects in Ada 95. (There were a 
number of other teams, including several "user/implementer" teams that 
prototypes parts of the language -- I led one of those during Ada 9x.)

Of course, like most formal proofs, it was beyond my understanding, so I 
really have no idea if it was correct. But it definitely was done.

                                                     Randy.