From: "G.B." <bauhaus@notmyhomepage.invalid>
Subject: Re: Introductory Ada Programming Book
Date: Thu, 5 Jan 2017 01:47:26 +0100
Date: 2017-01-05T01:47:26+01:00 [thread overview]
Message-ID: <o4k502$hpj$1@dont-email.me> (raw)
In-Reply-To: <7dfef876-f1b5-4a1d-aea0-0689f56ccaae@googlegroups.com>
On 05.01.17 00:42, Andrew Shvets wrote:
> I do have one question. In the book, I mentioned contracts only very briefly. I figured that this is a more complex and only gave it a more passing mention.
>
> How often do you use contracts with Ada?
There may be a number of misunderstandings of contract
based design, so given it is still early for adopting contracts,
there is guidance: Meyer writes about meanings and uses
of "contracts", in OOSC2. SPARK is hard to imagine without
assertions, but these are meant to be statements of truth
to be demonstrated before anything is released, and in
particular before run-time. Whereas Ada's assert-like aspects
are illustrated in the latest edition of the Ada Rationale,
including how they are related to development, to debugging,
and to run-time.
--
"HOTDOGS ARE NOT BOOKMARKS"
Springfield Elementary teaching staff
next prev parent reply other threads:[~2017-01-05 0:47 UTC|newest]
Thread overview: 38+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-12-31 13:18 Introductory Ada Programming Book Andrew Shvets
2016-12-31 14:26 ` Lucretia
2016-12-31 15:10 ` Dmitry A. Kazakov
2016-12-31 17:14 ` Andrew Shvets
2016-12-31 14:28 ` Lucretia
2016-12-31 14:34 ` Lucretia
2016-12-31 17:22 ` Andrew Shvets
2016-12-31 17:59 ` Gour
2017-01-02 15:56 ` Andrew Shvets
2017-01-02 16:32 ` Gour
2017-01-03 15:31 ` Patrick Noffke
2017-01-03 22:18 ` Andrew Shvets
2017-01-04 1:14 ` Paul Rubin
2017-01-04 3:07 ` Andrew Shvets
2017-01-04 6:46 ` J-P. Rosen
2017-01-04 9:25 ` raph.amiard
2017-01-04 12:40 ` J-P. Rosen
2017-01-04 12:49 ` Dmitry A. Kazakov
2017-01-04 13:45 ` raph.amiard
2017-01-04 14:14 ` Dmitry A. Kazakov
2017-01-04 15:15 ` Simon Wright
2017-01-10 10:02 ` raph.amiard
2017-01-04 15:18 ` Shark8
2017-01-04 21:47 ` Randy Brukardt
2017-01-05 3:04 ` Shark8
2017-01-05 7:51 ` G.B.
2017-01-04 13:44 ` raph.amiard
2017-01-04 22:08 ` Jeffrey R. Carter
2017-01-04 22:39 ` Niklas Holsti
2017-01-05 0:38 ` G.B.
2017-01-05 23:52 ` Randy Brukardt
2017-01-05 6:36 ` J-P. Rosen
2017-01-05 8:38 ` Simon Wright
2017-01-10 10:13 ` raph.amiard
2017-01-09 22:01 ` Robert Eachus
2017-01-04 23:42 ` Andrew Shvets
2017-01-05 0:47 ` G.B. [this message]
2017-01-05 19:01 ` Jacob Sparre Andersen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox