From: pault.eg@googlemail.com
Subject: Ada features supported by SPARK 2014
Date: Mon, 5 Dec 2016 12:36:18 -0800 (PST)
Date: 2016-12-05T12:36:18-08:00 [thread overview]
Message-ID: <c1a607a7-dce1-47a2-b4e5-7eba44ad4647@googlegroups.com> (raw)
Hi,
I'm thinking about learning Ada or SPARK. It's only for hobby use, not for work.
I've been looking for an overview of SPARK, in relation to the features of Ada, but haven't found too much on the internet.
Wikipedia says SPARK2014 is a well defined subset of Ada. It would be nice to get a feel for how much of Ada is in SPARK, what are the main aspects of Ada not supported by SPARK, and what are SPARK's main limitations compared to Ada.
Any good links would be appreciated, before I go and buy a book on Ada and/or SPARK.
Thx.
next reply other threads:[~2016-12-05 20:36 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-12-05 20:36 pault.eg [this message]
2016-12-05 21:10 ` Ada features supported by SPARK 2014 Shark8
2016-12-07 18:09 ` Jacob Sparre Andersen
2016-12-05 21:48 ` G.B.
2016-12-05 22:19 ` Daniel King
2016-12-05 22:01 ` Daniel King
2016-12-06 9:17 ` Simon Wright
2016-12-06 13:26 ` Daniel King
2016-12-09 8:24 ` Robert Eachus
2016-12-09 17:21 ` Adam Jensen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox