Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!decvax!cca!rmc
From: rmc@cca.UUCP (Mark Chilenskas)
Newsgroups: net.lang.c
Subject: Re: C compiler certification program?
Message-ID: <6438@cca.UUCP>
Date: Mon, 9-Jan-84 15:01:31 EST
Article-I.D.: cca.6438
Posted: Mon Jan  9 15:01:31 1984
Date-Received: Tue, 10-Jan-84 02:16:59 EST
References: <4752@decwrl.UUCP> mhtsa.408
Lines: 7


    I had heard of another C certification program, started at MIT LCS.
The certifier generates all syntactically correct C programs in Godel
number order and terminates if the given C compiler is not correct ;-)

                                        v
                                        Z