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.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,6d79efdb8dde2c5a
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!postnews.google.com!x21g2000yqa.googlegroups.com!not-for-mail
From: Phil Thornley <phil.jpthornley@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: Categories for SPARK on Rosetta Code (Was: SPARK : third example
 for Roesetta - reviewers welcome)
Date: Fri, 20 Aug 2010 01:40:07 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <3ed38f7f-372d-422e-9bda-eca8a73d3f0d@x21g2000yqa.googlegroups.com>
References: <op.vhguffh3ule2fv@garhos>
 <589eea9a-0b14-4ae5-bf62-9abf4b33e7fb@i31g2000yqm.googlegroups.com>
 <i49oif$1c85$1@adenine.netfront.net> <op.vhh3bwnwxmjfy8@garhos>
 <82mxsnuhbq.fsf@stephe-leake.org>
 <b08743ce-a85f-4962-8fbb-c2601b9cc4a1@x21g2000yqa.googlegroups.com>
 <op.vhjindufxmjfy8@garhos> <4c69a251$0$2371$4d3efbfe@news.sover.net>
 <op.vhjyi5kkxmjfy8@garhos> <4c69cd5f$0$2375$4d3efbfe@news.sover.net>
 <e614687a-58ce-499f-a6af-a5893cbdc812@q22g2000yqm.googlegroups.com>
 <1ddee5a6-fc25-4d23-bebd-3364923d0aa5@z10g2000yqb.googlegroups.com>
 <aihbzmy85j4v.163hyfnglvwus.dlg@40tude.net>
 <7cf71c68-4faf-4a7b-a350-405ff7f12ff9@z10g2000yqb.googlegroups.com>
 <4xb6sjkpzo1r$.138841gile5s0$.dlg@40tude.net>
 <87wrrnjf9f.fsf_-_@hugsarin.sparre-andersen.dk>
NNTP-Posting-Host: 80.177.171.182
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1282293608 1158 127.0.0.1 (20 Aug 2010 08:40:08
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Fri, 20 Aug 2010 08:40:08 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: x21g2000yqa.googlegroups.com; posting-host=80.177.171.182;
 posting-account=Fz1-yAoAAACc1SDCr-Py2qBj8xQ-qC2q
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 8.0; Windows NT 6.1; WOW64;
 Trident/4.0; SLCC2; .NET CLR 2.0.50727; .NET CLR 3.5.30729; .NET CLR
 3.0.30729; Media Center PC 6.0; .NET4.0C),gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:13528
Date: 2010-08-20T01:40:07-07:00
List-Id: <comp.lang.ada>

On 19 Aug, 07:19, Jacob Sparre Andersen <spa...@nbi.dk> wrote:
> Dmitry A. Kazakov wrote:
> > Phil Thornley wrote:
> >> Dmitry A. Kazakov wrote:
> >>> I would also suggest Rosetta Maintainers a new category (we should
> >>> invent a good clear name for it, e.g. "static analysis", "DbC",
> >>> "provability") to add it to this:
>
> >>>http://rosettacode.org/wiki/Language_Comparison_Table
>
> >> Seem's a good idea - how about "statically analysable".
>
> > It is too vague. In some sense any language is, after all there exist
> > static analysis tool for C. SPARK is obviously more than that, but it
> > is tricky to formulate the difference.
>
> Maybe we should simply introduce several categories.
>
> =A0+ Provable free of exceptions (run-time errors?)
> =A0+ Finite memory use.
> =A0+ Free of unreachable code.
> =A0+ ...?
>
> I'm not quite sure exactly which categories I would formulate. =A0Maybe
> somebody from Spark-Team at Praxis can help us with some good
> suggestions.
I suspect that if we can't come up with an obvious phrase for what we
mean then there's no chance of other language users understanding what
we mean by it and using it correctly.

Phil