Re: terminology

From: Cimode <>
Date: 18 Jun 2006 12:29:51 -0700
Message-ID: <>

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...

> p
Received on Sun Jun 18 2006 - 21:29:51 CEST

Original text of this message