comp.lang.ada
 help / color / mirror / Atom feed
From: gore@nucsrl.UUCP
Subject: Re: single valued variables
Date: Wed, 8-Apr-87 14:29:30 EST	[thread overview]
Date: Wed Apr  8 14:29:30 1987
Message-ID: <3930006@nucsrl.UUCP> (raw)
In-Reply-To: 8704031535.AA26545@ucbvax.Berkeley.EDU

/ nucsrl:comp.lang.ada / "SVDSD::PETCHER@ti-eg.CSNET" /  6:14 am  Apr  3, 1987 /
>[...]  A variable that can have only one value is, by definition, not 
>a variable, but a constant.  In that context, it seems a compiler should 
>create a constant, issue a diagnostic for any subsequent code that attempts to 
>change the constant, and generate no executeable code for same.  [...]

A variable that can have at most one value can also have no value -- it may be
uninitialized; constants may not be.

Jacob Gore
Northwestern University, Computer Science Research Lab
{ihnp4,chinet}!nucsrl!gore

  parent reply	other threads:[~1987-04-08 19:29 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1987-04-03 12:14 single valued variables SVDSD::PETCHER@ti-eg.CSNET
1987-04-06 13:44 ` firth
1987-04-08 19:29 ` gore [this message]
  -- strict thread matches above, loose matches on Subject: below --
1987-04-07  5:26 drw
replies disabled

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