Subject: [sv-ac] proposal regarding "never"
From: John Havlicek (john.havlicek@motorola.com)
Date: Wed Feb 19 2003 - 13:37:54 PST
All:
The semantics subcommittee proposes changing the
keyword "never" to "not" in order to overcome the
mismatch between the intuitive meaning of "never"
and the intended semantics of "never".
If this change is made, then "always" and "initial"
can both be used with "not". The combinition of
"always" and "not" gives the intuitive sense of
"never".
Best regards,
John Havlicek
This archive was generated by hypermail 2b28 : Wed Feb 19 2003 - 13:38:50 PST