Re: SPARK : third example for Roesetta - reviewers welcome

[Phil Thornley <phil.jpthornley@gmail.com>]

On 17 Aug, 23:15, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
wrote:
[...]
> 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
Yes - will do.

> > 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
OK - I'll use this

> > 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.
Maybe I don't need these - I've just discovered the Wiki page about
SPARK:
http://en.wikipedia.org/wiki/SPARK_(programming_language)


> Could you also write a short encyclopedia article about proofs and link to
> SPARK specific pages from there?
I've also just discovered the Wiki page about static analysis - which
should do for this purpose:
http://en.wikipedia.org/wiki/Static_code_analysis

> 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".

Cheers,

Phil