We are experiencing minor difficulties with our submission forms, which we are working to resolve. If you have any issues while submitting items, please contact us at dspace-lib@mit.edu.

Credible Compilers

Thumbnail Image
Download
Name

MIT-LCS-TR-776.pdf

Size

2.68 MB

Format

Adobe PDF

Checksum (MD5)

5be9268aab858942a867da63cbdc3dd4

Author(s)
Rinard, Martin C.
Date Issued
March 1999
Series/Report no.
MIT-LCS-TR-776
Abstract
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
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.