|Looking for references on correctness concerns in compilation email@example.com (1993-02-02)|
|Re: Looking for references on correctness concerns in compilation firstname.lastname@example.org (1993-02-03)|
|From:||email@example.com (Charles R. Martin)|
|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
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)/firstname.lastname@example.org
Dept. of Computer Science/CB #3175 UNC-CH/Chapel Hill, NC 27599-3175
3611 University Dr #13M/Durham, NC 27707/(919) 419 1754
Return to the
Search the comp.compilers archives again.