Re: Verification Question

Wolf Zimmermann <>
29 Jun 1999 02:59:54 -0400

          From comp.compilers

Related articles
Verification Question (David) (1999-06-27)
Re: Verification Question (Wolf Zimmermann) (1999-06-29)
| List of all articles for this month |

From: Wolf Zimmermann <>
Newsgroups: comp.compilers
Date: 29 Jun 1999 02:59:54 -0400
Organization: =?iso-8859-1?Q?Universit=E4t?= Karlsruhe, IPD Goos
References: 99-06-098
Keywords: testing

David wrote:
> Is there any existing benchmarking tool or program available so that
> we can verify the correctness of our compiler?

Have a look to the Verifix project. Its topic is the construction of correct
compilers for real languages (e.g. C) and commercially available target
machines (e.g. DEC-Alpha). The URL is


                        Wolf Zimmermann

Dr. Wolf Zimmermann Tel: *49 (721) 608-7399
Institut fuer Programmstrukturen Fax: *49 (721) 30047
und Datenorganisation
Universitaet Karlsruhe
Am Zirkel 2
Postfach 6980
76128 Karlsruhe

Post a followup to this message

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