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-Thread: 103376,ad06d2d7cb045687
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.222.71 with SMTP id qk7mr4213940pbc.1.1328256738328;
        Fri, 03 Feb 2012 00:12:18 -0800 (PST)
Path: 
 lh20ni255110pbb.0!nntp.google.com!news1.google.com!news2.google.com!news.glorb.com!feeder.erje.net!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Silly and stupid post-condition or not ?
Date: Fri, 03 Feb 2012 08:12:17 +0000
Organization: A noiseless patient Spider
Message-ID: <m262focp3y.fsf@pushface.org>
References: <op.v8w6ptk5ule2fv@douda-yannick>
	<82wr86fzos.fsf@stephe-leake.org>
	<5af407fc-2868-44ca-84d2-c51a2a64104d@o4g2000pbc.googlegroups.com>
	<82k445fu9n.fsf@stephe-leake.org> <jgfjc4$u4b$1@munin.nbi.dk>
Mime-Version: 1.0
Injection-Info: mx04.eternal-september.org;
 posting-host="dFCm8HWntFqmDIilBLqEJQ";
	logging-data="26770"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX198FjZlM6iFr+C1nwl+dH0YXwlDiQiy5dg="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (darwin)
Cancel-Lock: sha1:y9z4LX1IZX/Qu4rjv+jlqQw7G4w=
	sha1:Xm7YB2xVU32zM6eXmPavxLER1ck=
Content-Type: text/plain; charset=us-ascii
Date: 2012-02-03T08:12:17+00:00
List-Id: <comp.lang.ada>

"Randy Brukardt" <randy@rrsoftware.com> writes:

> I think that things like SPARC can actually be harmful, as they focus
> attention on the wrong things. There is a lot that can be proved about
> dynamic constructs in Ada (far more than in other most languages), and
> it is unfortunate that instead of taking advantage of this (and making
> widely usable results), most of effort has been on proving the Fortran
> 66 subset of Ada. (I do see signs that this is changing, finally, but
> I think a lot of the work should have been done years ago.)

(SPARK)

Strong agreement here. I don't think I'd have started on any of my own
projects if I'd had to use SPARK. Businesses will, iff they're in an
area where the purchaser requires it (avionics, for example). Does
anywone know what software standards Toyota use? MISRA C?