Re: Verification Question

Wolf Zimmermann <zimmer@ipd.info.uni-karlsruhe.de>
29 Jun 1999 02:59:54 -0400

          From comp.compilers
Related articles
Verification Question jeng@pc092197.ccl.itri.org.tw (David) (1999-06-27)
Re: Verification Question zimmer@ipd.info.uni-karlsruhe.de (Wolf Zimmermann) (1999-06-29)
| List of all articles for this month |
From: Wolf Zimmermann <zimmer@ipd.info.uni-karlsruhe.de>
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


                        http://i44www.info.uni-karlsruhe.de/~verifix/index.html




                        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
Germany
e-mail: zimmer@ipd.info.uni-karlsruhe.de
URL: http://i44www.info.uni-karlsruhe.de/~zimmer/

Post a followup to this message

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