LCS Publication Details
Publication Title: Credible Compilers
Publication Author: Rinard, M.
Additional Authors:
LCS Document Number: MIT-LCS-TR-776
Publication Date: 3-10-1999
LCS Group: No Group Specified
Additional URL: No URL Given
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 the input program. A simple pro
To obtain this publication:

To purchase a printed copy of this publication please contact MIT Document Services.