{"product_id":"9783832522117","title":"Certifying System Translations Using Higher Order Theorem Provers","description":"\u003cp\u003eThis 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.\u003c\/p\u003e","brand":"Logos Verlag","offers":[{"title":"Default Title","offer_id":47062688268528,"sku":"9783832522117","price":54.0,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0737\/7593\/9824\/files\/9783832522117_p0.jpg?v=1763687669","url":"https:\/\/shop-qa.barnesandnoble.com\/products\/9783832522117","provider":"Barnes \u0026 Noble (DEV)","version":"1.0","type":"link"}