From: David Botton <david@botton.com>
Subject: Re: Happy Birthday, Ada!
Date: Thu, 10 Dec 2015 12:53:34 -0800 (PST)
Date: 2015-12-10T12:53:34-08:00 [thread overview]
Message-ID: <eca9ad67-828e-4284-aee2-568bcf00e7ac@googlegroups.com> (raw)
In-Reply-To: <00886703-b5ed-4142-8f82-51605eef7166@googlegroups.com>
> Oh my! I've used SPARK (the original version) and found it to be a very expressive language with a mature toolset that delivered what it promised.
SPARK is another language that was my point, not that SPARK is not fantastic for what it does.
David Botton
next prev parent reply other threads:[~2015-12-10 20:53 UTC|newest]
Thread overview: 40+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-12-10 17:41 Happy Birthday, Ada! Jeffrey R. Carter
2015-12-10 17:50 ` Dirk Craeynest
2015-12-10 18:14 ` Jeffrey R. Carter
2015-12-10 23:48 ` Randy Brukardt
2015-12-10 18:15 ` Simon Wright
2015-12-10 18:28 ` Anh Vo
2015-12-10 18:49 ` David Botton
2015-12-10 19:22 ` Britt
2015-12-10 20:04 ` Jeffrey R. Carter
2015-12-10 23:50 ` Randy Brukardt
2015-12-11 0:47 ` Jeffrey R. Carter
2015-12-11 7:51 ` J-P. Rosen
2015-12-11 18:11 ` Jeffrey R. Carter
2015-12-11 21:12 ` Randy Brukardt
2015-12-12 10:19 ` J-P. Rosen
2015-12-10 20:53 ` David Botton [this message]
2015-12-11 10:47 ` Jacob Sparre Andersen
-- strict thread matches above, loose matches on Subject: below --
2022-12-10 10:35 Jeffrey R.Carter
2022-12-10 11:31 ` AdaMagica
2022-12-17 11:47 ` Randy Brukardt
2022-12-18 12:35 ` AdaMagica
2021-12-10 9:37 Jeffrey R.Carter
2021-12-10 11:30 ` Luke A. Guest
2021-12-10 12:36 ` Jeffrey R.Carter
2021-12-10 14:23 ` AdaMagica
2021-12-11 5:28 ` Randy Brukardt
2017-12-10 9:51 Jeffrey R. Carter
2017-12-10 12:16 ` Mr. Man-wai Chang
2017-12-10 21:05 ` AdaMagica
2017-12-10 21:37 ` Simon Wright
2016-12-10 15:37 Jeffrey R. Carter
2013-12-10 16:46 Jeffrey Carter
2013-12-10 21:54 ` Randy Brukardt
2013-12-10 23:02 ` Jeffrey Carter
2013-12-12 3:14 ` Randy Brukardt
2013-12-12 8:58 ` Stefan.Lucks
2013-12-12 10:01 ` Yannick Duchêne (Hibou57)
2013-12-13 5:35 ` Randy Brukardt
2013-12-11 12:45 ` Britt
2013-12-12 3:17 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox