Looking for references on correctness concerns in compilation

martinc@cs.unc.edu (Charles R. Martin)
Tue, 2 Feb 1993 15:30:23 GMT

          From comp.compilers
Related articles
Looking for references on correctness concerns in compilation martinc@cs.unc.edu (1993-02-02)
Re: Looking for references on correctness concerns in compilation pc@cl.cam.ac.uk (1993-02-03)
| List of all articles for this month |
Newsgroups: comp.compilers
From: martinc@cs.unc.edu (Charles R. Martin)
Keywords: theory
Organization: UNC Department of Computer Science
Date: Tue, 2 Feb 1993 15:30:23 GMT

I'm at work on a project involving the development of "trusted compilers"
--- compilers for which there is a strong guarantee of correct
compilation. I would like to hear from anyone who is involved in
something similar; in particular, I'm interested in finding research that
relates to provably confirming the results of optimizations and code
generation.


Also, I'd be interested in any recommendations of conference or workshop
proceedings that might relate to this. What are the best sources and
journals for correctness concerns in compilers? What about new
compilation results in general? Are there any organizations that have
produced technical reports on results that have not appeared in the
journal or conference literature?


Thanks for any help you can give.
--
Charles R. Martin/(Charlie)/martinc@cs.unc.edu
          Dept. of Computer Science/CB #3175 UNC-CH/Chapel Hill, NC 27599-3175
3611 University Dr #13M/Durham, NC 27707/(919) 419 1754
--

Post a followup to this message

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