Re: Verifying a compiler

wlohmann@informatik.uni-rostock.de (Wolfgang Lohmann)
22 Jun 2000 01:43:25 -0400

          From comp.compilers
Related articles
Verifying a compiler scarroll@csrd.uiuc.edu (Steven Carroll) (2000-06-14)
Re: Verifying a compiler mlross@jf.intel.com (2000-06-20)
Re: Verifying a compiler t.hutt@worldnet.att.net (Taylor Hutt) (2000-06-20)
Re: Verifying a compiler wlohmann@informatik.uni-rostock.de (2000-06-22)
Re: Verifying a compiler david@somers.lu (David Somers) (2000-06-22)
Re: Verifying a compiler echristo@cygnus.com (Eric Christopher) (2000-06-27)
Re: Verifying a compiler world!bobduff@uunet.uu.net (Robert A Duff) (2000-06-27)
Re: Verifying a compiler iainf@news.kororaa.com (Iain A F Fleming) (2000-06-30)
Re: Verifying a compiler wlohmann@informatik.uni-rostock.de (2000-06-30)
Re: Verifying a compiler joachim.dot.durchholz@halstenbach.com (Joachim Durchholz) (2000-07-04)
| List of all articles for this month |
From: wlohmann@informatik.uni-rostock.de (Wolfgang Lohmann)
Newsgroups: comp.compilers
Date: 22 Jun 2000 01:43:25 -0400
Organization: University of Rostock
References: 00-06-056 00-06-081
Keywords: testing

Taylor Hutt (t.hutt@worldnet.att.net) wrote:
: Steven Carroll <scarroll@csrd.uiuc.edu> writes:


: > I'm looking for a test suite to insure the correctness of a compiler
: > that handles C, C++, Fortran, and Java with emphasis on C and FORTRAN.
: > Does anyone have any experience using GCC's test suite with a
: > different compiler? Can anyone reccomend a more directed suite?


Verification is, informally speaking, mathematically prooving of
correctness with respect to a specification. Testing can not
prove the absence of errors (exception : trivial cases), only
their existence. Therefore, you are looking for a validation
suite ;-).


Just to mention it.


Regards, Wolfgang

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.