Name: Certifying System Translations Using Higher Order Theorem Provers (en Inglés)
SKU: 62070062
Price: 77.01 USD
Availability: InStock
Author: Jan Olaf Blech

Selecciona tu país

América

Europa

Resto del mundo

portada Certifying System Translations Using Higher Order Theorem Provers (en Inglés)

Certifying System Translations Using Higher Order Theorem Provers (en Inglés)

Formato

Libro Físico

Editorial

Logos Verlag

Autor

Jan Olaf Blech

Idioma

Inglés

N° páginas

188

Encuadernación

Tapa Blanda

ISBN13

9783832522117

Certifying System Translations Using Higher Order Theorem Provers (en Inglés)

Jan Olaf Blech (Autor) · Logos Verlag · Tapa Blanda

Libro Nuevo Importado

Envío: 20 a 28 días háb.

$ 154.01$ 77.01

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Última Unidad

$ 77.01

Llega entre el 22 Sep y el 06 Oct a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Certifying System Translations Using Higher Order Theorem Provers (en Inglés)"

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.