Verification Question

"David" <jeng@pc092197.ccl.itri.org.tw>
27 Jun 1999 00:12:03 -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: "David" <jeng@pc092197.ccl.itri.org.tw>
Newsgroups: comp.compilers
Date: 27 Jun 1999 00:12:03 -0400
Organization: Industrial Technology Research Institute
Keywords: testing, question, comment

Dear all:


Suppose we have designed a brand new compiler which can only tackle
integer data type.


My problem follows:


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


Or is there anyone who is willing to provide the strategy of verification?


David
[Not unless you give us some hint what language you want to compile. The
chances of finding a test suite for a language you just invented is pretty
small. -John]

Post a followup to this message

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