Browsing LCS Technical Reports (1974 - 2003) by Author "Rinard, Martin C."
Now showing items 1-1 of 1
-
Credible Compilers
Rinard, Martin C. (1999-03)This paper presents a new concept in compiler correctness: instead of proving that the compiler performs all of its transformations correctly, the compiler generates a proof that the transformed program correctly implements ...