{"product_id":"certifying-system-translations-using-higher-jan-olaf-blech-9783832522117","title":"Certifying System Translations Using Higher Order Theorem Provers","description":"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.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Jan Olaf Blech\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3832522115\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783832522117\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Logos Verlag Berlin\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 06\/12\/2009\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 188\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback","brand":"Jan Olaf Blech","offers":[{"title":"Paperback","offer_id":48450119434495,"sku":"9783832522117","price":54.0,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_649a3be1-5bdf-46d3-a43d-5e8e2829b4d3.jpg?v=1777266298","url":"https:\/\/www.whiterainbookhouse.com\/products\/certifying-system-translations-using-higher-jan-olaf-blech-9783832522117","provider":"WR Book House","version":"1.0","type":"link"}