Semantic defintions in standards

[sous-realiste]

In article <9848 at hubcap.clemson.edu> steve at hubcap.clemson.edu ("Steve" Stevenson) writes:
>What is the status of attempts at the latest standard? What
>methods are used to specify semantics? Are there any attempts to use
>any of the ``formal semantics'' methods?

Or even formal syntax?
-- 
Her somber eyes consider all        ||/+\==/+\||                     Steven Ryan
that loom and tower, large and tall.||\=/++\=/||       ...!uunet!ingr!apd!smryan
Her everyday is always new          ||/=\++/=\||...!{apple|pyramid}!garth!smryan
and fills her eyes of frail blue.   ||\+/==\+/||   2400 Geng Road, Palo Alto, CA