From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Meaning of “contractual” according to Ada
Date: Wed, 06 Mar 2013 19:22:36 +0100
Date: 2013-03-06T19:22:36+01:00 [thread overview]
Message-ID: <op.wtjenykuule2fv@cardamome> (raw)
Because naming and wording matters, especially with Ada :-P , I have this
question.
http://www.ada-auth.org/standards/12rat/html/Rat12-2-5.html
Says:
> These are not really contractual in the sense thatpreconditions,
> postconditions and invariants arecontractual but are more akin to
> constraints.
What's not contractual with subtype predicates? And so what does
“contractual” means exactly for Ada's definition authors?
--
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University
next reply other threads:[~2013-03-06 18:22 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-03-06 18:22 Yannick Duchêne (Hibou57) [this message]
2013-03-06 22:35 ` Meaning of “contractual” according to Ada Robert A Duff
2013-03-07 1:20 ` Yannick Duchêne (Hibou57)
2013-03-07 2:57 ` Meaning of "contractual" " Randy Brukardt
2013-03-07 9:27 ` Meaning of “contractual” " Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox