search for books and compare prices
Jan Olaf Blech has written 1 work(s)
Search for other authors with the same name
displaying 1 to 1 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Certifying System Translations Using Higher Order Theorem Provers
cover image for 9783832522117
Product 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...read more
By Jan Olaf Blech
See complete details on each edition (1 edition listed)

Paperback:

9783832522117 | Isd, June 12, 2009, cover price $54.00 | About this edition: This thesis presents certifying system translations.

displaying 1 to 1 | at end