On Thu, 26 Oct 2006 07:31:12 -0400, Peter Relson <[EMAIL PROTECTED]> wrote:
>>>and I think refreshable implies must be read-only. > >>Also no. > >I disagree. > >Obviously one can write an incorrect program with any attributes. But a >correctly written refreshable program does not modify itself. >... I'm running behind so someone may have already mentioned this, but Shmuel gave a sample of a refreshable but non-reentrant code. The code did not modify itself; it modified something else sacred - the CVT as I recall. The code could be refreshed at any time without altering its behavior, but in order to be reentrant/reenterable (in it's prior meaning) the code had to include serialization. Pat O'Keefe ---------------------------------------------------------------------- For IBM-MAIN subscribe / signoff / archive access instructions, send email to [EMAIL PROTECTED] with the message: GET IBM-MAIN INFO Search the archives at http://bama.ua.edu/archives/ibm-main.html
