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.7 required=5.0 tests=AXB_XMAILER_MIMEOLE_OL_024C2, BAYES_00,MAILING_LIST_MULTI autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,3a3dffa82925efee,start X-Google-Attributes: gid103376,public Path: g2news1.google.com!news2.google.com!proxad.net!freenix!enst.fr!melchior!cuivre.fr.eu.org!melchior.frmug.org!not-for-mail From: "Andrew Carroll" Newsgroups: comp.lang.ada Subject: Advantages Date: Fri, 25 Jun 2004 06:24:47 -0600 Organization: Cuivre, Argent, Or Message-ID: References: <20040624170516.B4DFC4C4110@lovelace.ada-france.org> NNTP-Posting-Host: lovelace.ada-france.org Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Trace: melchior.cuivre.fr.eu.org 1088165232 59241 212.85.156.195 (25 Jun 2004 12:07:12 GMT) X-Complaints-To: usenet@melchior.cuivre.fr.eu.org NNTP-Posting-Date: Fri, 25 Jun 2004 12:07:12 +0000 (UTC) To: Return-Path: X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2600.0000 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000 X-Virus-Scanned: by amavisd-new-20030616-p7 (Debian) at ada-france.org X-BeenThere: comp.lang.ada@ada-france.org X-Mailman-Version: 2.1.4 Precedence: list List-Id: "Gateway to the comp.lang.ada Usenet newsgroup" List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Xref: g2news1.google.com comp.lang.ada:1883 Date: 2004-06-25T06:24:47-06:00 > ------------------------------ > Message: 6 > From: "Nick Roberts" > Subject: Improving Ada's Image > > "Marin David Condic" wrote in message > news:40CEDEBB.3050209@noplace.com... > > > Like I said: The thing that makes operating systems hard to > > get right are not usually language issues. They are related to > > the asynchronicity of events and the complexity of the > > algorithms involved. > > This is one of the biggest advantages of writing system software in Ada. > Quite a lot of the really nasty pitfalls associated with parallel > programming in other languages are made either impossible or much more > easily detected and debugged by Ada. Okay Marin and Nick, I want to learn more. Where can I find the statistical and practical proof? I'm not trying to snub your comments, I just want to be able to provide the proof when I talk to my co-workers about Ada. Thanks!