From: Ada novice <ycalleecharan@gmx.com>
Subject: Re: SPARK code samples
Date: Wed, 11 Aug 2010 04:38:36 -0700 (PDT)
Date: 2010-08-11T04:38:36-07:00 [thread overview]
Message-ID: <f94bf7f0-14cb-4a8d-94ef-3cdf2665cd5b@s9g2000yqd.googlegroups.com> (raw)
In-Reply-To: 1iq8kg021bo4v$.s51i2enx3fzo.dlg@40tude.net
On Aug 11, 10:44 am, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
wrote:
>
> Rosetta is pretty liberal, everyone can register and contribute. The
> SPARK's page is:
>
> http://rosettacode.org/wiki/SPARK
Thanks for this information. I'm interested to learn SPARK. If I
understand correctly, SPARK aligns itself well with Ada 95 and not yet
with Ada 05. Is this because of the strictness of SPARK to provide
highly reliable codes and hence it contains only well-tested features
(subset of Ada features)? It would be interesting to see some SPARK
codes on the wiki page building over time.
YC
next prev parent reply other threads:[~2010-08-11 11:38 UTC|newest]
Thread overview: 28+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-08-11 8:44 SPARK code samples Dmitry A. Kazakov
2010-08-11 11:38 ` Ada novice [this message]
2010-08-11 13:54 ` Yannick Duchêne (Hibou57)
2010-08-11 16:07 ` Mark Lorenzen
2010-08-11 16:33 ` (see below)
2010-08-11 16:45 ` Yannick Duchêne (Hibou57)
2010-08-11 16:50 ` Yannick Duchêne (Hibou57)
2010-08-11 17:10 ` Ada novice
2010-08-11 18:21 ` Yannick Duchêne (Hibou57)
2010-08-12 12:08 ` Ada novice
2010-08-12 22:03 ` Phil Thornley
2010-08-11 15:26 ` Yannick Duchêne (Hibou57)
2010-08-11 17:33 ` Dmitry A. Kazakov
2010-08-12 2:39 ` Yannick Duchêne (Hibou57)
2010-08-12 5:02 ` Jeffrey Carter
2010-08-12 13:31 ` Yannick Duchêne (Hibou57)
2010-08-12 7:16 ` cjpsimon
2010-08-12 7:29 ` Maciej Sobczak
2010-08-12 13:41 ` Yannick Duchêne (Hibou57)
2010-08-12 9:46 ` Jacob Sparre Andersen
2010-08-12 13:43 ` Yannick Duchêne (Hibou57)
2010-08-12 13:58 ` Jacob Sparre Andersen
2010-08-12 3:03 ` Yannick Duchêne (Hibou57)
-- strict thread matches above, loose matches on Subject: below --
2010-08-11 17:32 Mark Lorenzen
2010-08-11 17:39 ` Ada novice
2010-08-11 17:45 ` (see below)
2010-08-11 18:00 ` Ada novice
2010-08-11 18:17 ` Yannick Duchêne (Hibou57)
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox