Date: 18 Jun 2006 12:29:51 -0700
paul c wrote:
> That is tidy, but one complaint - I believe that in r.t. variable means
> foremost a logical place-holder
Of course it is. What else can it be?
> as in the fopl whereas I believe D&D
> coined the term relvar as a means to talk about imperative computer
> languages that implement an r.t. Not clear to me that these uses of
> variable and relvar are always comparable, e.g., what kind of
> destructive operation there can be for a fopl logical variable.
Same question I have asked...
Received on Sun Jun 18 2006 - 21:29:51 CEST