comp.lang.ada
 help / color / mirror / Atom feed
From: Tom Moran <tmoran@bix.com>
Subject: Re: Use of constants on EFA
Date: 1997/11/10
Date: 1997-11-10T00:00:00+00:00	[thread overview]
Message-ID: <34673AB4.7D88@bix.com> (raw)


>5.4.2.1 Constants
>Objects shall be defined as being constant if their value is fixed
>throughout the execution of the software.
  "If (fixed) then (constant)" does not imply "If not(fixed) then
not(constant)" as any book on logic will tell any reader of that rule.
Perhaps some non-programmer doesn't know the difference between "if"
and "only if"?





             reply	other threads:[~1997-11-10  0:00 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1997-11-10  0:00 Tom Moran [this message]
  -- strict thread matches above, loose matches on Subject: below --
1997-11-05  0:00 Use of constants on EFA Kevin Wilson
1997-11-05  0:00 ` Robert Dewar
1997-11-05  0:00 ` Robert Dewar
1997-11-06  0:00   ` Peter Hermann
1997-11-06  0:00 ` Matthew Heaney
     [not found] ` <01bceece$4a6a85e0$423c63c3@default>
1997-11-11  0:00   ` Michael F Brenner
1997-11-12  0:00   ` Karel Th�nissen
1997-11-12  0:00     ` Dale Stanbrough
     [not found]       ` <01bcefb3$a8ac9b80$a93163c3@default>
1997-11-17  0:00         ` Richard Toy
1997-11-17  0:00       ` KevinWilson
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox