Subject: RE: [sv-ac] final proposals in plain text
From: Bassam Tabbara (bassam@novas.com)
Date: Mon Dec 08 2003 - 13:57:39 PST
Thanks John.
I was just skimming this, and a quick suggestion to consider in the
recursion proposal write-up: may be you can rewrite in the informal part
(e.g. "In the case of mutually recursive properties, all recursive
instances must occur after positive advances in time...") what you call
"mutually recursive" to say something like "recurs[ive|ion] chain [of 1
or more properties]" seems to me that's more common terminology, and
easier to parse :-)!
-Bassam.
-- Dr. Bassam Tabbara Technical Manager, R&D Novas Software, Inc.http://www.novas.com (408) 467-7893
> -----Original Message----- > From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On > Behalf Of John Havlicek > Sent: Monday, December 08, 2003 9:00 AM > To: roy.armoni@intel.com > Cc: john.havlicek@motorola.com; sv-ac@eda.org > Subject: Re: [sv-ac] final proposals in plain text > > > Roy: > > I just resent the .tar with "xx" in place of "??". > > Best regards, > > John H. >
This archive was generated by hypermail 2b28 : Mon Dec 08 2003 - 14:01:36 PST