Xref: utzoo comp.lang.c:30891 comp.lang.fortran:3566
Newsgroups: comp.lang.c,comp.lang.fortran
Path: utzoo!henry
From: henry@zoo.toronto.edu (Henry Spencer)
Subject: Re: Semantic defintions in standards
Message-ID: <1990Aug8.153448.2498@zoo.toronto.edu>
Organization: U of Toronto Zoology
References: <9848@hubcap.clemson.edu> <652@garth.UUCP>
Date: Wed, 8 Aug 90 15:34:48 GMT

In article <652@garth.UUCP> smryan@garth.UUCP (sous-realiste) 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?

Formal syntax notations are normal nowadays (well, I can't speak for
the Fortran people :-), but they're normal everywhere else).  That does
not necessarily mean a yacc grammar, mind you, as there are a lot of
variations on good old BNF.
-- 
The 486 is to a modern CPU as a Jules  | Henry Spencer at U of Toronto Zoology
Verne reprint is to a modern SF novel. |  henry@zoo.toronto.edu   utzoo!henry