登入選單

返回Google圖書搜尋

Certifying System Translations Using Higher Order Theorem Provers

Jan Olaf Blech

出版	Logos Verlag Berlin GmbH, 2009
主題	Computers / Computer Science
ISBN	38325221159783832522117
URL	http://books.google.com.hk/books?id=ExD3p7TWJ2kC&hl=&source=gbs_api
EBook	SAMPLE

註釋

This thesis presents certifying system translations. This is a technique to guarantee the correctness of system translations. When conducting a translation of a system we compare for each translation the original and translated systems and decide whether the translation has been carried out correctly. This decision is based on a certificate generated during the translation process. Thus, we guarantee correctness of translations by verifying each translation run instead of the translation algorithm and its implementation.