Need C language Description

[Doug Gwyn]

In article <1104 at garth.UUCP> smryan at 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.