Re: Safety-Critical Systems Developed Using C++

[dvdeug@my-deja.com]

In article <945eeq$vmk$1@nnrp1.deja.com>,
  k_e_n_s_a_i@my-deja.com wrote:
> I suppose it's irrelevant, but the integrity of a program depends on
> the skill of the programmers rather than the language it is coded in.
> Any syntactically correct language should be equally stable, excluding
> compiler flaws, etc.
>
> Sent via Deja.com
> http://www.deja.com/

[Sorry if you get this twice; my main news server seems to be broken]

Take, for example, the first place entry to the 1999 International
Conference on Functional Programming (ICFP) Programming Contest by the
INRIA OCaml team.  http://caml.inria.fr/icfp99-contest/ has a report on
their entry, pointing out that any exception raised by an optimizer
would be caught by the main program, and cause it to ignore that
optimization round. The same thing could be done in Ada, and would catch
many of the same errors, like array overflows. OTOH, that same program
written in C, on an array overflow, might crash or overwrite unrelated
data. So this program was protected from bugs that might have caused its
C competitors to fail, through a technique enabled soley by choice of
language.

--
David Starner - dstarner98@aasaa.ofe.org


Sent via Deja.com
http://www.deja.com/