[sv-ac] updated 1668-2007-09-03

From: John Havlicek <john.havlicek_at_.....>
Date: Mon Sep 03 2007 - 11:32:13 PDT
Hi Folks:

I have updated on Mantis and attached here the 1668 proposal for 
Clause 16.  This addresses Doron's comment about the "reason" for
creating multiple copies of a local varible with declaration
assignment when there are multiple semantic leading clocks.

I changed the sentence to

   Separate copies of the local variable v are created for the 
   two subproperties governed by these clocks.

By not saying why the two copies are created, I think Doron's 
concern is addressed.

J.H.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.


Received on Mon Sep 3 11:32:45 2007

This archive was generated by hypermail 2.1.8 : Mon Sep 03 2007 - 11:33:28 PDT