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-Thread: 103376,6d79efdb8dde2c5a
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!feeder3.cambriumusenet.nl!feed.tweaknews.nl!212.27.60.9.MISMATCH!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: SPARK : third example for Roesetta - reviewers welcome
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
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>
Date: Wed, 18 Aug 2010 00:15:02 +0200
Message-ID: <aihbzmy85j4v.163hyfnglvwus.dlg@40tude.net>
NNTP-Posting-Date: 18 Aug 2010 00:14:59 CEST
NNTP-Posting-Host: 9a111287.newsspool2.arcor-online.net
X-Trace: 
 DXC=lTFTfBHRNig:i=48;n?Z:`A9EHlD;3Ycb4Fo<]lROoRa8kF<OcfhCOkOEIl5Z]Faab[6LHn;2LCVn[<mhadbfdUk4_SYV<X1TTj8<?C>MOe>Bg
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:13470
Date: 2010-08-18T00:14:59+02:00
List-Id: <comp.lang.ada>

Great! I am very glad to see people contributing solutions and encyclopedia
articles. I think that SPARK is immensely important for Rosetta Code. I
would say, it is even more important than Ada itself, because it shows an
attitude to software developing absolutely different to ones represented by
other programming languages.

On Tue, 17 Aug 2010 12:53:18 -0700 (PDT), Phil Thornley wrote:

> OK - I discovered that Rosetta Code has Encyclopedia pages, that can
> be used for any topic that doesn't fit in anywhere else.  So I've
> written a very short bit for the 'Category:SPARK' page which is what
> is linked to by the language name.

Integrate it here, please:

http://rosettacode.org/wiki/SPARK

> This page will contain links to
> the Altran-Praxis home page and to their page about SPARK.

Here is the standard place for this:

http://rosettacode.org/wiki/Category:SPARK_Implementations

Rosetta generated this page automatically.

> Then I've written a longer 'SPARK tools' page to go in the
> Encyclopedia, to be linked from the category text, that describes the
> Examiner and the Simplifier.

Could you also write a short encyclopedia article about proofs and link to
SPARK specific pages from there?

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

BTW, it already contains SPARK (this happens automatically), feel free to
augment it.

P.S. Rosetta is living and very liberal, it is appropriate to contribute
not yet all-complete and polished material there. As someone said on other
occasion, please submit early!

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de