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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 101deb,3488d9e5d292649f
X-Google-Attributes: gid101deb,public
X-Google-Thread: 103376,e6a2e4a4c0d7d8a6
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-02-21 14:14:37 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!gestalt.direcpc.com!telocity-west!DIRECTV!sn-xit-03!sn-xit-06!sn-post-01!supernews.com!corp.supernews.com!not-for-mail
From: "Shmuel (Seymour J.) Metz" <spamtrap@library.lspace.org.invalid>
Newsgroups: comp.lang.pl1,comp.lang.ada
Subject: Re: status of PL/I as a viable language
Date: Fri, 21 Feb 2003 15:16:36 -0500
Organization: Atid/2
Message-ID: <3e568925$6$fuzhry+tra$mr2ice@news.patriot.net>
References: <mHZ0a.42983$jM5.108891@newsfeeds.bigpond.com>
      <nRg1a.190899$HG.32437469@news4.srv.hcvlny.cv.net>
      <3E51908E.9CCA3412@adaworks.com>
      <8Gh4a.7455$_c6.743959@newsread2.prod.itd.earthlink.net>
      <3E51ABCE.5491B9A2@adaworks.com>
      <b2spe6$p23$1@helle.btinternet.com>
      <3E5273DE.2050206@cox.net>
      <3E531E6F.BDFB2599@adaworks.com>
      <3E546C45.4010406@cox.net>
      <3E54F926.441D5BB5@adaworks.com>
      <1045763933.848350@master.nyc.kbcfp.com>
Mail-Copies-To: nobody
X-Cise: tanbanso@iinet.net.au
X-CompuServe-Customer: Yes
X-Coriate: admin@interspeed.co.nz
X-Ecrate: tanandtanlawyers.com
X-Punge: Micro$oft
X-Sanguinate: themvsguy@email.com
X-Terminate: SPA(GIS)
X-Tinguish: Mark Griffith <markgriffith@rocketmail.com>
X-Treme: C&C,DWS
X-Newsreader: MR/2 Internet Cruiser Edition for OS/2 v2.31a/31 
X-Complaints-To: abuse@supernews.com
Xref: archiver1.google.com comp.lang.pl1:4413 comp.lang.ada:34400
Date: 2003-02-21T15:16:36-05:00
List-Id: <comp.lang.ada>

In <1045763933.848350@master.nyc.kbcfp.com>, on 02/20/2003
   at 12:58 PM, Hyman Rosen <hyrosen@mail.com> said:

>The problem is that those errors which are caught are gross errors of
>coding - buffer overruns, null pointer accesses, arithmetic overflow,
>etc. But serious errors in complex software aren't caused (only) by
>these sorts of errors.

True. But a huge proportion of the exploits in Internet software rely
on buffer underruns, which wouldn't exist in a language like Ada that
has an equivalent to SUBSCRIPTRANGE. And, yes, the checking can be
turned off in Ada, but I would hope that such an abomination would
never get through code review.

-- 
     Shmuel (Seymour J.) Metz, SysProg and JOAT

Any unsolicited commercial junk E-mail will be subject to legal
action.  I reserve the right to publicly post or ridicule any
abusive E-mail.

I mangled my E-mail address to foil automated spammers; reply to
domain Patriot dot net user shmuel+news to contact me.  Do not
reply to spamtrap@library.lspace.org