RE: [sv-bc] RE: 3398 and 3625

This was discussed during the June 20, 2011 SV-BC meeting
http://www.eda.org/sv-bc/minutes/sv-bc_11_06_20.txt

Steven Sharp has a strong opinion about which committee(s) should resolve this issue of state preservation and functions should be resolved.

Steven agreed to reply to this thread with his recommendation.

Matt

>-----Original Message-----
>From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org] On Behalf Of Brad
>Pierce
>Sent: Thursday, June 16, 2011 9:57 PM
>To: Bresticker, Shalom
>Cc: Francoise Martinolle; sv-dc@eda.org; sv-ac@eda-stds.org; SV-BC; SV_EC
>List
>Subject: Re: [sv-bc] RE: 3398 and 3625
>
>Preserving state information is an impure side-effect.
>
>-- Brad
>
>2011/6/16 Bresticker, Shalom <shalom.bresticker@intel.com>:
>> So is it necessary to be automatic? Is it enough just to say 'preserves
>no state information"? Is a static function that preserves no state
>information (such as a pure function, for example) ok?
>>
>> (Of course, with the no side effect condition also).
>>
>> Shalom
>>
>>> -----Original Message-----
>>> From: bradpiercephd@gmail.com [mailto:bradpiercephd@gmail.com] On
>>> Behalf Of Brad Pierce
>>> Sent: Friday, June 17, 2011 7:46 AM
>>> To: Bresticker, Shalom
>>> Cc: Francoise Martinolle; sv-dc@eda.org; sv-ac@eda-stds.org; SV-BC;
>>> SV_EC List
>>> Subject: Re: [sv-bc] RE: 3398 and 3625
>>>
>>> > Are there automatic functions that preserve state information?
>>>
>>> If you declare one of its variables to be static.
>>>
>>> -- Brad
>>>
>>> On Thu, Jun 16, 2011 at 9:35 PM, Bresticker, Shalom
>>> <shalom.bresticker@intel.com> wrote:
>>> > Francoise,
>>> >
>>> >
>>> >
>>> > In the past, I have interpreted "or preserve no state information"
>>> > as
>>> being
>>> > a real "or", i.e., "shall either be automatic or otherwise preserve
>>> > no
>>> state
>>> > information", and not an additional restriction. That is, a static
>>> function
>>> > that preserves no state information would be legal.
>>> >
>>> >
>>> >
>>> > Are there automatic functions that preserve state information?
>>> >
>>> >
>>> >
>>> > Also see Mantis 2928.
>>> >
>>> >
>>> >
>>> > This change would affect both assertions and constraints.
>>> >
>>> >
>>> >
>>> > Regards,
>>> >
>>> > Shalom
>>> >
>>> >
>>> >
>>> > From: owner-sv-dc@eda.org [mailto:owner-sv-dc@eda.org] On Behalf Of
>>> > Francoise Martinolle
>>> > Sent: Friday, June 17, 2011 3:29 AM
>>> > To: sv-dc@eda.org
>>> > Subject: [sv-dc] 3398 and 3625
>>> >
>>> >
>>> >
>>> > I have updated 3398 with the latest versio of the proposal for
>>> > nettypes. I have deleted all previous
>>> >
>>> > versions.
>>> >
>>> > I also have submitted a new mantis item 3625 for the BC to consider
>>> > to change
>>> >
>>> > Functions shall be automatic (or preserve no state information) and
>>> > have
>>> no
>>> > side effects.
>>> >
>>> >
>>> >
>>> > to:
>>> >
>>> > Functions shall be automatic, preserve no state information and
>>> > have no
>>> side
>>> > effects.
>>> >
>>> > I wil lmake a proposal to for 3625 and ask BC to add it to the
>>> > agenda of next meeting.
>>> >
>>> >
>>> >
>>> > Francoise
>>> >
>>> >        '
>>> >
>>> >
>>> >
>>> >
>>> >
>>> > --
>>> > This message has been scanned for viruses and dangerous content by
>>> > MailScanner, and is believed to be clean.
>>> >
>>> > -------------------------------------------------------------------
>>> > --
>>> > 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.
>> ---------------------------------------------------------------------
>> 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.