Path: utzoo!yunexus!geac!syntron!jtsv16!uunet!lll-winken!lll-lcc!ames!mailrus!tut.cis.ohio-state.edu!rutgers!cmcl2!brl-adm!brl-smoke!gwyn
From: gwyn@brl-smoke.ARPA (Doug Gwyn )
Newsgroups: comp.lang.c
Subject: Re: Need C language Description
Message-ID: <8279@brl-smoke.ARPA>
Date: 31 Jul 88 05:16:19 GMT
Article-I.D.: brl-smok.8279
References: <12707@agate.BERKELEY.EDU> <1104@garth.UUCP> <8270@brl-smoke.ARPA> <1112@garth.UUCP>
Reply-To: gwyn@brl.arpa (Doug Gwyn (VLD/VMB) <gwyn>)
Organization: Ballistic Research Lab (BRL), APG, MD.
Lines: 15

In article <1112@garth.UUCP> smryan@garth.UUCP (Steven Ryan) writes:
>In article <8270@brl-smoke.ARPA> gwyn@brl.arpa (Doug Gwyn (VLD/VMB) <gwyn>) writes:
>>The fellow can probably get what he's looking for, and more, by
>>talking with the people at Metaware, Tom Penello for example.
>A compiler is not a definition. A compiler is an implementation of a
>definition.

Thanks for explaining something totally irrelevant.
"Gee, I didn't know that."

Metaware does have a formal semantic specification of C.
Penello tried to get X3J11 to use such a method instead of the
combined formal grammar and English that was actually adopted.

I mentioned Metaware's compiler ads to help the fellow get in touch with them
since I didn't have their address or phone number at hand.