From: Hyman Rosen <hymie@prolifics.com>
Subject: Re: JOB:Sr. SW Engineers Wanted-Fortune 500 Co
Date: 2000/02/01
Date: 2000-02-01T16:12:05+00:00 [thread overview]
Message-ID: <t7n1pk6gwx.fsf@calumny.jyacc.com> (raw)
In-Reply-To: 38967537_1@news.jps.net
"Mike Silva" <mjsilva@jps.net> writes:
> This is a silly strawman, since nobody (at least, nobody who wants to be
> taken seriously) ever makes such extreme claims. It's all a matter of
> increasing the odds, and both the C language and the C culture invite buggy
> code (sad to say, I've written my share). Every C programmer should perform
> the eye-opening exercise of determining how many C bugs they encounter would
> not have been possible, or would have been quickly spotted, in Ada.
I would assume that for safety-critical code, the development process
is such that these errors would be found if they were present. After
all, Ada's error checks can help only in the development process, not
once the pacemaker is installed, so the code would have to be carefully
checked to make sure that no exceptions would actually be triggered.
This is the same process the C code would go through.
next prev parent reply other threads:[~2000-02-01 0:00 UTC|newest]
Thread overview: 44+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-01-30 0:00 JOB:Sr. SW Engineers Wanted-Fortune 500 Co Tracy Goembel
2000-01-31 0:00 ` Ted Dennison
2000-01-31 0:00 ` Hyman Rosen
2000-01-31 0:00 ` Hyman Rosen
2000-02-01 0:00 ` Ted Dennison
2000-02-01 0:00 ` Hyman Rosen
2000-02-02 0:00 ` Rod Chapman
[not found] ` <m3emaug917.fsf@blight.transcend.org>
2000-02-03 0:00 ` Larry Kilgallen
2000-02-01 0:00 ` Ole-Hjalmar Kristensen
2000-02-01 0:00 ` Scott Ingram
2000-02-01 0:00 ` Gautier
2000-01-31 0:00 ` Hyman Rosen
2000-01-31 0:00 ` Mike Silva
2000-02-01 0:00 ` Hyman Rosen [this message]
2000-02-01 0:00 ` Mike Silva
2000-02-01 0:00 ` Hyman Rosen
2000-02-01 0:00 ` Larry Kilgallen
2000-02-01 0:00 ` Pat Rogers
2000-02-01 0:00 ` Hyman Rosen
2000-02-01 0:00 ` Pat Rogers
2000-02-01 0:00 ` Hyman Rosen
2000-02-01 0:00 ` Pat Rogers
2000-02-01 0:00 ` Richard D Riehle
2000-02-01 0:00 ` Hyman Rosen
2000-02-02 0:00 ` Richard D Riehle
2000-02-17 0:00 ` Charles Hixson
2000-02-01 0:00 ` Larry Kilgallen
2000-02-01 0:00 ` Larry Kilgallen
2000-02-01 0:00 ` Hyman Rosen
2000-02-02 0:00 ` Roger Racine
2000-02-02 0:00 ` Ole-Hjalmar Kristensen
2000-02-04 0:00 ` Mike Silva
2000-02-17 0:00 ` Charles Hixson
2000-02-01 0:00 ` Mike Silva
2000-02-05 0:00 ` JP Thornley
2000-01-31 0:00 ` Mike Silva
2000-02-01 0:00 ` Jean-Pierre Rosen
2000-02-01 0:00 ` Ted Dennison
2000-02-01 0:00 ` Karel Thoenissen
[not found] ` <879hjf$ggv$1@nnrp1.deja.com>
2000-02-02 0:00 ` Geography (was: JOB:Sr. SW Engineers Wanted-Fortune 500 Co) Jean-Marc Bourguet
2000-02-02 0:00 ` Karel Thoenissen
2000-02-02 0:00 ` Ted Dennison
2000-02-02 0:00 ` Gautier
2000-02-01 0:00 ` JOB:Sr. SW Engineers Wanted-Fortune 500 Co Larry Kilgallen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox