comp.lang.ada
 help / color / mirror / Atom feed
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: New to Ada, why these warning messages?
Date: Sat, 2 Jan 2016 15:53:36 -0700
Date: 2016-01-02T15:53:36-07:00	[thread overview]
Message-ID: <n69k8i$mfv$1@dont-email.me> (raw)
In-Reply-To: <87y4c7y9nq.fsf@theworld.com>

On 01/02/2016 02:05 PM, Bob Duff wrote:
> "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org> writes:
> 
>> We have hard data across multiple application domains showing that deployed C
>> has 4 times the errors of deployed Ada.
> 
> Do you have a cite for that?  (I know about the Steve Ziegler paper.)

There's Ziegler's paper, which you know about, at

http://archive.adaic.com/intro/ada-vs-c/cada_art.html#xtocid153455

(for those who don't know about it) and there was a posting here on c.l.a by
Marin Condic about jet-engine control S/W at Pratt & Whitney that reported
similar results; about 4 times the errors and about 10 times the effort per
error was the average I took away from those.

Some would also cite McCormick's real-time course results for this, but while it
clearly shows reduction in development effort for Ada compared to C, since no
one ever finished the project in C, I can't see that it provides any information
on error rates. Information about it is at

http://static1.1.sqspcdn.com/static/f/702523/9458053/1290008042427/200008-McCormick.pdf?token=C60YTOwv6V6y%2BJDCChhjKp2Vp4U%3D

for those not familiar with it.

-- 
Jeff Carter
"If I could find a sheriff who so offends the citizens of Rock
Ridge that his very appearance would drive them out of town ...
but where would I find such a man? Why am I asking you?"
Blazing Saddles
37


  reply	other threads:[~2016-01-02 22:53 UTC|newest]

Thread overview: 26+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2016-01-01  2:19 New to Ada, why these warning messages? Dale Dellutri
2016-01-01  2:47 ` David Botton
2016-01-01  5:54 ` Jeffrey R. Carter
2016-01-01 21:18   ` Bob Duff
2016-01-01 17:30 ` Dennis Lee Bieber
2016-01-01 20:20 ` Dale Dellutri
2016-01-01 21:24   ` Bob Duff
2016-01-01 21:54     ` Dale Dellutri
2016-01-02 12:45       ` Simon Clubley
2016-01-02 14:21         ` Britt
2016-01-02 15:29           ` Simon Clubley
2016-01-03  7:11         ` J-P. Rosen
2016-01-03  9:32           ` Simon Wright
2016-01-03  9:59           ` Simon Clubley
2016-01-03 14:23             ` David Botton
2016-01-03 15:48             ` J-P. Rosen
2016-01-03 18:03               ` David Botton
2016-01-03 18:20                 ` Pascal Obry
2016-01-03 19:05                   ` David Botton
2016-01-01 23:50   ` Jeffrey R. Carter
2016-01-02 21:05     ` Bob Duff
2016-01-02 22:53       ` Jeffrey R. Carter [this message]
2016-01-02 17:59   ` Dennis Lee Bieber
2016-01-02 18:37     ` Paul Rubin
2016-01-02 21:03       ` Bob Duff
2016-01-02 21:08     ` Bob Duff
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox