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
X-Google-Thread: 103376,3d6589e7b2c60444
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-05-04 18:29:20 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!headwall.stanford.edu!newshub.sdsu.edu!news-xfer.cox.net!newsfeed.news2me.com!newsfeed2.earthlink.net!newsfeed.earthlink.net!stamper.news.pas.earthlink.net!stamper.news.atl.earthlink.net!harp.news.atl.earthlink.net!not-for-mail
From: Richard Riehle <richard@adaworks.com>
Newsgroups: comp.lang.ada
Subject: Re: employment with ada
Date: Sun, 04 May 2003 18:27:56 -0700
Organization: AdaWorks Software Engineering
Message-ID: <3EB5BE1C.EBA04BB5@adaworks.com>
References: <626e8ae.0305011636.5e899da3@posting.google.com>
 <4mo7bvc2n70k6eikm3muu2965nbo3m77ov@4ax.com> <3EB415CB.6D97B14D@adaworks.com>
 <6Mcta.37135$D%4.20715@nwrdny03.gnilink.net>
Reply-To: richard@adaworks.com
NNTP-Posting-Host: 41.b2.40.dc
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Server-Date: 5 May 2003 01:29:18 GMT
X-Mailer: Mozilla 4.7 [en] (Win98; I)
X-Accept-Language: en
Xref: archiver1.google.com comp.lang.ada:36948
Date: 2003-05-05T01:29:18+00:00
List-Id: <comp.lang.ada>

Hyman Rosen wrote:

> Richard Riehle wrote:
>  > Instead, they cobble together a set of restrictions for C
>
> How is this different from SPARK?

I already responded to this in another message, but a short
follow-up.   SPARK is also an enabler.   The SPARK
examiner is not just a set of "don't do that" rules.  When
combined with Ada, SPARK is also an enabler rather
than a disabler.

Richard Riehle