MENÜ MENÜ  

cover

Certifying System Translations Using Higher Order Theorem Provers

Jan Olaf Blech

ISBN 978-3-8325-2211-7
pages, year of publication:
price: Eur €
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.

Keywords:
  • Theorembeweisen
  • Compiler
  • Softwarekorrektheit
  • Zertifizierung
  • Verifikation

Buying Options

36.00 €