Certifying System Translations Using Higher Order Theorem Provers

By Jan Olaf Blech

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3832522115
• ISBN13: 9783832522117
• Release Date: June 2009
• Publisher: Logos Verlag Berlin
• Length: 188 Pages