Re: Verifying a compiler

Iain A F Fleming <iainf@news.kororaa.com>
30 Jun 2000 00:51:10 -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: Iain A F Fleming <iainf@news.kororaa.com>
Newsgroups: comp.compilers
Date: 30 Jun 2000 00:51:10 -0400
Organization: Kororaa Ultra Light Engineering
References: 00-06-056 00-06-081
Keywords: testing

Taylor Hutt wrote:
>
> Plum Hall (language compilance)
>
> There is a competitor to Plum Hall, but I can't remember the name
> right now.


Perennial is its name.
I haven't used it for a few years, so I can't remember the producer.
I also found that using both was useful, albeit expensive.


> Nullstone (optimizations / code generation)


Again, a very useful tool, especially alongside P-H and Perennial.


> > FORTRAN anyone?


NAG (Numerical Algorithms Group, www.nag.co.uk) market an F90/F95
validation suite.


Post a followup to this message

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