Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site decwrl.UUCP
Path: utzoo!linus!decvax!decwrl!powell
From: powell@decwrl.UUCP
Newsgroups: net.lang.c
Subject: C compiler certification program?
Message-ID: <4752@decwrl.UUCP>
Date: Mon, 2-Jan-84 17:39:20 EST
Article-I.D.: decwrl.4752
Posted: Mon Jan  2 17:39:20 1984
Date-Received: Tue, 3-Jan-84 02:47:25 EST
Sender: powell@decwrl.UUCP
Organization: DEC Western Research Lab, Los Altos, CA
Lines: 10

From: powell (Mike Powell)
A couple of months ago, a Bell Labs person told me that there is a program
to validate C implementations, called cq, which Bell uses to decide whether
or not a compiler is really a C compiler.  Does anyone know about this program,
and, in particular, how to get a copy in order to check out our C compiler?
						Michael L. Powell
						Western Research Laboratory
						Digital Equipment Corporation
						Los Altos, CA
						{decvax,ucbvax}!decwrl!powell