Path: utzoo!utgpu!water!watmath!clyde!att!osu-cis!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: <8270@brl-smoke.ARPA>
Date: 30 Jul 88 04:22:30 GMT
References: <12707@agate.BERKELEY.EDU> <1104@garth.UUCP>
Reply-To: gwyn@brl.arpa (Doug Gwyn (VLD/VMB) <gwyn>)
Organization: Ballistic Research Lab (BRL), APG, MD.
Lines: 12

In article <1104@garth.UUCP> smryan@garth.UUCP (Steven Ryan) writes:
>>However, he needs a formal language description of C, and so far
>>neither one of us have been able to find one.
>You can get a language description out of K+R, but forget about a formal
>definition unless you want to do it yourself.

If you don't know what you're talking about, then please shut up.

The fellow can probably get what he's looking for, and more, by
talking with the people at Metaware, Tom Penello for example.
They specialize in formal semantics.  Metaware advertises their
compiler in various PC magazines.