[sv-ac] single assignment rule

Subject: [sv-ac] single assignment rule
From: Cindy Eisner (EISNER@il.ibm.com)
Date: Sun Feb 23 2003 - 03:53:01 PST

• Next message: Cindy Eisner: "Re: [sv-ac] Draft of SVAC ballot for 2/24"
• Previous message: Cindy Eisner: "[sv-ac] written proposal: sem5"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

all,

i would further like to propose that a dynamic variable be allowed to have
only a single assigment per declaration. in other words, only a single
assignment per dynamic variable can appear (syntactically) in a property,
and the expression in which it appears cannot have a repetition. i think
this is important in order for the meaning to be well defined. i am
separating this out from "sem5" so that people can vote on these issues
separately. i will call this new proposal the "single assignment rule"
until it is given a number by steve.

i guess i need a second and a third for this. anyone?

regards,

cindy.

Cindy Eisner
Formal Methods Group Tel: +972-4-8296-266
IBM Haifa Research Laboratory Fax: +972-4-8296-114
Haifa 31905, Israel e-mail:
eisner@il.ibm.com

• Next message: Cindy Eisner: "Re: [sv-ac] Draft of SVAC ballot for 2/24"
• Previous message: Cindy Eisner: "[sv-ac] written proposal: sem5"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Sun Feb 23 2003 - 03:59:19 PST