Certifying System Translations Using Higher Order Theorem Provers (Paperback) (ISBN-13: 9783832522117)

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.

Author: Jan Olaf Blech
ISBN-10: 3832522115
ISBN-13: 9783832522117
Publisher: Logos Verlag Berlin
Language: English
Published: 06/12/2009
Pages: 188
Format: Paperback