Credible Compilation *

Please use this identifier to cite or link to this item: http://dspace.mediu.edu.my:8181/xmlui/handle/1721.1/3674

Full metadata record

DC Field	Value	Language
dc.creator	Rinard, Martin C.	-
dc.date	2003-11-16T18:04:36Z	-
dc.date	2003-11-16T18:04:36Z	-
dc.date	2003-01	-
dc.date.accessioned	2013-10-09T02:31:54Z	-
dc.date.available	2013-10-09T02:31:54Z	-
dc.date.issued	2013-10-09	-
dc.identifier	http://hdl.handle.net/1721.1/3674	-
dc.identifier.uri	http://koha.mediu.edu.my:8181/xmlui/handle/1721	-
dc.description	This paper presents an approach to compiler correctness in which the compiler generates a proof that the transformed program correctly implements the input program. A simple proof checker can then verify that the program was compiled correctly. We call a compiler that produces such proofs a credible compiler, because it produces verifiable evidence that it is operating correctly.	-
dc.description	Singapore-MIT Alliance (SMA)	-
dc.format	177863 bytes	-
dc.format	application/pdf	-
dc.language	en_US	-
dc.relation	Computer Science (CS);	-
dc.subject	compiler	-
dc.subject	credible compiler	-
dc.subject	debugging	-
dc.subject	proof checker	-
dc.subject	optimization	-
dc.title	Credible Compilation *	-
dc.type	Article	-
Appears in Collections:	MIT Items

Files in This Item:

There are no files associated with this item.

DSpace JSPUI