Xref: utzoo comp.lang.c:30879 comp.lang.fortran:3563
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uwm.edu!bionet!synoptics!unix!garth!smryan
From: smryan@garth.UUCP (sous-realiste)
Newsgroups: comp.lang.c,comp.lang.fortran
Subject: Re: Semantic defintions in standards
Message-ID: <652@garth.UUCP>
Date: 7 Aug 90 17:56:27 GMT
References: <9848@hubcap.clemson.edu>
Reply-To: smryan@garth.UUCP (sous-realiste)
Organization: intergraph/apd in sunny california
Lines: 11

In article <9848@hubcap.clemson.edu> steve@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