Hi Erik, In addition to things already pointed out by Shalom the only thing I object to is the use of the word "usually" in Thus, to achieve intuitive behavior, concurrent assertions in procedural loops should _usually_ be written so that all variables in their property expression are either loop iterators, indexed by loop iterators, or refer to values that are constant for all iterations of the loop. I'm not a native speaker, so I may be off track, but I think for example "preferably" would be a better choice. Best Regards, Johan On Tue, Nov 27, 2007 at 10:32:56AM -0800, Seligman, Erik wrote: > > I have posted it in Mantis, and also attach here for your convenience. > > > -- > This message has been scanned for viruses and > dangerous content by MailScanner, and is > believed to be clean. > -- ------------------------------------------------------------ Johan Mårtensson Office: +46 31 7451913 Jasper Design Automation Mobile: +46 703749681 Arvid Hedvalls backe 4 Fax: +46 31 7451939 411 33 Gothenburg, Sweden Skype ID: johanmartensson ------------------------------------------------------------ -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Fri Nov 30 00:56:15 2007
This archive was generated by hypermail 2.1.8 : Fri Nov 30 2007 - 00:57:02 PST