comp.lang.ada
 help / color / mirror / Atom feed
From: cochiti.lanl.gov!jlg@lanl.gov  (J. Giles)
Subject: Re: FORTRAN bug(was Re: C++ vs. Ada -- Is Ada loosing?)
Date: 8 Dec 92 17:25:51 GMT	[thread overview]
Message-ID: <1992Dec8.172551.16780@newshost.lanl.gov> (raw)

In article <1992Dec8.072300.21473@smds.com>, rh@smds.com (Richard Harter) write
s:

|> [...]                                          The FORTRAN bug which
|> >resulted in the destruction of the first Venus probe was that in:
|> >
|> >     DO 20 I = 1,10
|> > 
|> >the comma was replaced by a period:
|> >
|> >    DO 20 I = 1.10
|> [...]
|> First of all the blow up was due to the misreading of a superscript
|> in creating the formal specs for the program from the mathematics.
|> The program was in assembler; the assembly program correctly reflected
|> the specs; the specs were wrong.
|> 
|> The comma-period bug was in an ephemerides program at Johnson Space
|> Center.  It was not a real time program; it was a data analysis program.
|> The bug was caught because the output was palpably wrong.
|> 
|> The sequence of events went through several authors who rearranged
|> history bit by bit (you should excuse the expression) until the proper
|> moral was reached.

Well, not quite.  The proper moral is that all programming languages
(even informal specification languages) have contexts in which single
character errors can lead to linguistically correct programs which
don't compute the intended functionality.  The moral often stated
instead is that this is a bad feature of Fortran.  While Fortran
could indeed have been designed better, it is not the only language
with, or even the most severly affected by, this kind of problem.

-- 
J. Giles

             reply	other threads:[~1992-12-08 17:25 UTC|newest]

Thread overview: 25+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1992-12-08 17:25 J. Giles [this message]
  -- strict thread matches above, loose matches on Subject: below --
1992-12-09  6:02 FORTRAN bug(was Re: C++ vs. Ada -- Is Ada loosing?) Michael Feldman
1992-12-11 13:29 agate!spool.mu.edu!uwm.edu!cs.utexas.edu!csc.ti.com!tilde.csc.ti.com!mkso
1992-12-11 15:38 Robb Nebbe
1992-12-11 21:04 Tucker Taft
1992-12-11 21:31 Michael Feldman
1992-12-11 22:24 John Nestoriak III
1992-12-11 23:22 Tucker Taft
1992-12-12  0:42 Pascal Obry
1992-12-12  6:04 Bob Kitzberger
1992-12-12 14:20 Fergus Jam es HENDERSON
1992-12-12 14:34 Fergus Jam es HENDERSON
1992-12-12 17:53 Michael Feldman
1992-12-14 16:55 agate!spool.mu.edu!sdd.hp.com!zaphod.mps.ohio-state.edu!cs.utexas.edu!csc.ti.com!tilde.csc.ti.com!mksol!mccall
1992-12-14 17:00 agate!spool.mu.edu!sdd.hp.com!zaphod.mps.ohio-state.edu!cs.utexas.edu!csc.ti.com!tilde.csc.ti.com!mksol!mccall
1992-12-14 17:04 agate!spool.mu.edu!yale.edu!qt.cs.utexas.edu!cs.utexas.edu!csc.ti.com!til
1992-12-14 18:33 J. Giles
1992-12-14 22:15 John Bollenbacher
1992-12-15  2:43 Michael Feldman
1992-12-15  2:57 Michael Feldman
1992-12-15 16:36 enterpoop.mit.edu!bloom-picayune.mit.edu!mintaka.lcs.mit.edu!ogicse!uwm.e
1992-12-16 16:02 fred j mccall 575-3539
1992-12-16 17:40 Pascal Obry
1992-12-18  9:22 agate!spool.mu.edu!uwm.edu!zaphod.mps.ohio-state.edu!caen!uvaarpa!vger.ns
1992-12-18 21:56 Michael Feldman
replies disabled

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