From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!feeder2.cambriumusenet.nl!feed.tweaknews.nl!192.87.166.28.MISMATCH!tudelft.nl!txtfeed1.tudelft.nl!newsfeed.straub-nv.de!feeder.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Colin Paul Gloster <Colin_Paul_Gloster@ACM.org>
Newsgroups: comp.lang.ada
Subject: Re: Software Quality in Science
Date: Mon, 15 Feb 2010 12:18:16 +0000
Organization: A noiseless patient Spider
Message-ID: <alpine.LNX.2.00.1002151154530.17315@Bluewhite64.example.net>
References: 
 <1198a288-b013-45a8-907f-7fe227e6294e@m27g2000prl.googlegroups.com>
  <04185bf3-f83a-4fbe-b380-c6d8aa4105e6@w27g2000pre.googlegroups.com>
 <06c522b2-512d-482d-882f-d6a690d1c587@d27g2000yqn.googlegroups.com>
 <9b39n5t0866p4o7vff03480nvljsuhk024@4ax.com>
Reply-To: Colin Paul Gloster <Colin_Paul_Gloster@ACM.org>
Mime-Version: 1.0
Content-Type: TEXT/PLAIN; CHARSET=US-ASCII; format=flowed
Injection-Date: Mon, 15 Feb 2010 12:20:31 +0000 (UTC)
Injection-Info: news.motzarella.org; posting-host="kheEuXGHhE2Z5eF1gAST+A";
	logging-data="29424"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19Zj/cSHQVUeOTlh7poNT6jC1C7pMIckUu2hrZZVei7DA=="
User-Agent: Alpine 2.00 (LNX 1167 2008-08-23)
In-Reply-To: <9b39n5t0866p4o7vff03480nvljsuhk024@4ax.com>
Content-ID: <alpine.LNX.2.00.1002151214461.17315@Bluewhite64.example.net>
Cancel-Lock: sha1:X+cXNxEf5YoSmR8ztTlOm7aaiXs=
X-X-Sender: Colin_Paul@Bluewhite64.example.net
Xref: g2news1.google.com comp.lang.ada:9225
Date: 2010-02-15T12:18:16+00:00
List-Id: <comp.lang.ada>

On Thu, 11 Feb 2010, Brian Drummond wrote:

|-----------------------------------------------------------------------------|
|"[..]                                                                        |
|>                                                                            |
|>I surprised (if confirmed) that FORTRAN (which I've never experienced)      |
|>is even less safe than C.                                                   |
|                                                                             |
|It certainly can be.                                                         |
|                                                                             |
|Mis-spell a variable name, and you have just declared a new one, not accessed|
|the one you expected... (There are usually ways to turn implicit declarations|
|off, or make them compile time errors or warnings.)"                         |
|-----------------------------------------------------------------------------|

Some compilers for Fortran are better than Fortran. There is no way in
Fortran to enforce these sanity checks. Unlike the Ada standards, the
Fortran standards do not require illegal programs to be rejected by
the compilers: merely that legal programs be run correctly.