Credible Compilers
dc.contributor.author | Rinard, Martin C. | en_US |
dc.date.accessioned | 2023-03-29T15:31:43Z | |
dc.date.available | 2023-03-29T15:31:43Z | |
dc.date.issued | 1999-03 | |
dc.identifier.uri | https://hdl.handle.net/1721.1/149889 | |
dc.description.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 | en_US |
dc.relation.ispartofseries | MIT-LCS-TR-776 | |
dc.title | Credible Compilers | en_US |