Re: Report on defect in M2 vs C (Was Modula-2, Modula-3, C or C++)

Article View: comp.lang.modula2

Article #2620

#2620

From: Viet-Trung Luu
Date: Fri, 13 Oct 1995 23:57

13 lines
1363 bytes

On 11 Oct 1995, Rich Miller wrote:

> Depending on which program fails (and when the failure is detected),
> perhaps:  land the old-fashioned way, instead of relying on a (failing)
> computer-controlled landing system.  Or reset the computer.  Or not
> take off in the first place.

Of course that's a good idea... However, you need to do much more than 
that when lives are in question. Bugs still happen, and these bugs might 
not necessarily trigger any sort of compiler-generated error-checks. The 
results from the code must still be checked for validity.

- Trung

Technical Details

Message-ID: <Pine.SUN.3.91.951013195409.12001B-100000@lagrange.uwaterloo.ca>

Path: arc1-ca.pugleaf.net!lagrange.uwaterloo.ca!vluu

References:

<44hcri$rsm@theopolis.orl.mmc.com> <DG1yzI.8Ln@mv.mv.com> <45cj8d$red@ixnews3.ix.netcom.com> <DG8y40.BMz@world.std.com> <45gpu2$h2e@ratty.wolfe.net>

Show Full Headers

Complete Article Headers

Newsgroups: comp.lang.modula2,comp.lang.modula3,comp.lang.c,comp.lang.c++,comp.lang.ada
Path: arc1-ca.pugleaf.net!lagrange.uwaterloo.ca!vluu
From: Viet-Trung Luu <vluu@lagrange.uwaterloo.ca>
Subject: Re: Report on defect in M2 vs C (Was Modula-2, Modula-3, C or C++) 
Sender: news@undergrad.math.uwaterloo.ca (news spool owner)
Message-ID: <Pine.SUN.3.91.951013195409.12001B-100000@lagrange.uwaterloo.ca>
In-Reply-To: <45gpu2$h2e@ratty.wolfe.net> 
Date: Fri, 13 Oct 1995 23:57:00 GMT
Content-Type: TEXT/PLAIN; charset=US-ASCII
References: <44hcri$rsm@theopolis.orl.mmc.com> <DG1yzI.8Ln@mv.mv.com> <45cj8d$red@ixnews3.ix.netcom.com> <DG8y40.BMz@world.std.com> <45gpu2$h2e@ratty.wolfe.net> 
Nntp-Posting-Host: lagrange.uwaterloo.ca
Mime-Version: 1.0
Organization: University of Waterloo

Reply to Parent Message