From: Hyman Rosen <hymie@prolifics.com>
Subject: Re: JOB:Sr. SW Engineers Wanted-Fortune 500 Co
Date: 2000/02/01
Date: 2000-02-01T18:40:29+00:00 [thread overview]
Message-ID: <t73drc6a1k.fsf@calumny.jyacc.com> (raw)
In-Reply-To: s9e96d4uer236@corp.supernews.com
"Pat Rogers" <progers@NOclasswideSPAM.com> writes:
> No. They treated all exceptions as indication of hardware failures
> because they didn't believe
> they could happen due to software. They didn't meaningfully handle the
> exception -- they aborted the program! Since they abused the software
> they were reusing (by using it in a different context, in which
> exceptions were unavoidable) their assumptions were invalid.
When you have proved that something can not happen, you will not then
add code to handle that event gracefully. After all, that's the entire
point of software proofs in the first place. If it turns out that your
proof is in error, it is exceedingly unlikely that the code will fall
back to a reasonable behavior.
Do you see people writing 'if a = 3 and then a = 3' just in case the
first equality was a fluke?
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 ` Mike Silva
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 ` Mike Silva
2000-02-01 0:00 ` Pat Rogers
2000-02-01 0:00 ` Larry Kilgallen
2000-02-01 0:00 ` Hyman Rosen [this message]
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 ` Hyman Rosen
2000-02-02 0:00 ` Ole-Hjalmar Kristensen
2000-02-02 0:00 ` Roger Racine
2000-02-04 0:00 ` Mike Silva
2000-02-17 0:00 ` Charles Hixson
2000-02-05 0:00 ` JP Thornley
2000-02-01 0:00 ` Mike Silva
2000-02-01 0:00 ` Hyman Rosen
2000-02-01 0:00 ` Larry Kilgallen
2000-01-31 0:00 ` Hyman Rosen
2000-02-01 0:00 ` Gautier
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-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) Karel Thoenissen
2000-02-02 0:00 ` Ted Dennison
2000-02-02 0:00 ` Gautier
2000-02-02 0:00 ` Jean-Marc Bourguet
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