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.
This archive was generated by hypermail 2.1.8 : Mon Sep 03 2007 - 11:33:28 PDT