[sv-ec] Re: [P1800] RE: [sv-cc] New P1800 technical committee - Call For Participation - reminder

From: John Havlicek <john.havlicek_at_.....>
Date: Mon Apr 07 2008 - 06:49:39 PDT
Hi Folks:

I agree with Shalom.

2173, 2326, and 2327 add "case" as a property building construct
within concurrent assertions.  We already have "if-else", so this is
primarily syntactic sugar.

I do not think that these should be moved from SV-AC to the new
sub-committee

J.H.

> Hi, 
> 
> > I think we should add to the list for this new committee (Erik)
> > 
> > 9.  2173
> > 10. 2326
> > 11. 2327
> 
> Is this Erik's personal request or an SV-AC request?
> Who decides what issues the new sub-committee deals with?
> 
> I don't think these are related to checkers or assertions in procedural
> code, so I would be reluctant to have the new sub-committee deal with
> these as well. I think it would be a diversion and a dilution of the
> work, which is going to be hard enough even without these additional
> issues.
> 
> (It would be nice if this new sub-committee had a short name. It's
> awkward saying "the new techical sub-committee" alll the time...)
> 
> Thanks,
> Shalom
> ---------------------------------------------------------------------
> Intel Israel (74) Limited
> 
> This e-mail and any attachments may contain confidential material for
> the sole use of the intended recipient(s). Any review or distribution
> by others is strictly prohibited. If you are not the intended
> recipient, please contact the sender and delete all copies.
> 
> 
> -- 
> This message has been scanned for viruses and
> dangerous content by MailScanner, and is
> believed to be clean.
> 
> 

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Mon Apr 7 06:51:59 2008

This archive was generated by hypermail 2.1.8 : Mon Apr 07 2008 - 06:52:51 PDT