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 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!mx02.eternal-september.org!.POSTED!not-for-mail From: "J-P. Rosen" Newsgroups: comp.lang.ada Subject: Re: If not Ada, what else... Date: Sat, 11 Jul 2015 08:00:01 +0200 Organization: A noiseless patient Spider Message-ID: References: <14592326-5070-4663-a864-5684298f3748@googlegroups.com> <004361da-53c4-4ea9-8cc6-38944aa6c7ad@googlegroups.com> <29dd5458-f9ce-4db8-9128-8ab35a9ce5f8@googlegroups.com> <64bc671c-72e5-4924-b703-3b907c69949c@googlegroups.com> <877fq9uj6g.fsf@theworld.com> <65061686-5c8f-433b-9b11-9e228298158e@googlegroups.com> <87k2u96jms.fsf@jester.gateway.sonic.net> <06f8a6f9-d219-4d40-b9ac-8518e93839bd@googlegroups.com> <87y4io63jy.fsf@jester.gateway.sonic.net> <7a29d3e9-d1bd-4f4a-b1a6-14d3e1a83a4d@googlegroups.com> <87mvz36fen.fsf@jester.gateway.sonic.net> <2215b44f-8a89-47c6-a4c4-52b74d2dac45@googlegroups.com> <87oajj4e8l.fsf@jester.gateway.sonic.net> Mime-Version: 1.0 Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 8bit Injection-Date: Sat, 11 Jul 2015 05:58:38 +0000 (UTC) Injection-Info: mx02.eternal-september.org; posting-host="77055b0c6188e8b0c85111430465aa22"; logging-data="3237"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19yuuQdvDO4CzX6x9ctrIwf" User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:31.0) Gecko/20100101 Thunderbird/31.7.0 In-Reply-To: <87oajj4e8l.fsf@jester.gateway.sonic.net> Cancel-Lock: sha1:yeonsBD3gFJ3nngFi5OPIVXprc8= Xref: news.eternal-september.org comp.lang.ada:26762 Date: 2015-07-11T08:00:01+02:00 List-Id: Le 11/07/2015 04:31, Paul Rubin a écrit : >> Well, once upon a time Ada compilers were certified. I don't believe >> > AdaCore does that anymore. > There was some federal agency that did it, I thought. It was eventually > shut down after it had served its purpose, which was getting > standardization to really mean something. > You are confusing two different things here. The AJPO (Ada Joint Program Office) was a government agency established to start and develop the language. It was closed when the language was considered grown up. It was not in charge of validation. There is a an organization, the ACAA (Ada Conformity Assesment Authority) in charge of validation, whose "technical agent" is Randy Bruckardt, and an ACAL (Ada Compiler Assesment Laboratory), currently Adalog, in charge of doing the validations. So the whole structure is in place if a vendor asks to validate its compiler. What happens is that since the major customers don't require validated compilers any more, and since validation is quite expensive, nobody does it anymore. But if a big customer of AdaCore said they would sign the contract only if the compiler is officially validated, I'm sure AdaCore would do it. There is also a kind of side effect of validation: it is so much connected to the Ada spirit that every compiler keeps passing the validation internally, and all the users know that the compiler is passing the validation internally - therefore reducing the need for official validation. AdaCore even provides a certificate of "internal validation" without official value, but good enough for most customers. -- J-P. Rosen Adalog 2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00 http://www.adalog.fr