Path: utzoo!attcan!uunet!pdn!reggie
From: reggie@pdn.UUCP (George W. Leach)
Newsgroups: comp.lang.c
Subject: Re: Need C language Description
Keywords: formal semantics
Message-ID: <3924@pdn.UUCP>
Date: 2 Aug 88 11:25:26 GMT
References: <12707@agate.BERKELEY.EDU> <1104@garth.UUCP> <8270@brl-smoke.ARPA> <1112@garth.UUCP> <843@miraculix.liu.se>
Reply-To: reggie@pdn.UUCP (George W. Leach)
Organization: Paradyne Corporation,   Largo FL
Lines: 18

In article <843@miraculix.liu.se> mikpe@miraculix.liu.se (Mikael Pettersson) writes:

>I believe Ravi Sethi wrote such a definition for an ACM conference back in
>1980 but I haven't seen it (yet).

      I recall seeing three Bell Labs TMs on the Semantics of C, which addressed
the issues you stated in your article.  I also seem to recall seeing a revision
of these into a single paper by Dr. Sethi as well.  Alas, I no longer have a
copy nor a decent library in which to search for it.  I would suspect that it
may be found in the ACM SIGPLAN Compiler Construction Proceedings.  Your date
of 1980 sounds about right plus or minus a year.


-- 
George W. Leach					Paradyne Corporation
..!uunet!pdn!reggie				Mail stop LF-207
Phone: (813) 530-2376				P.O. Box 2826
NOTE: codas<--->pdn will be gone soon		Largo, FL  34649-2826